1 search result for "tag:"date:2026-01-20""

Showing 1 - 1
  1. coq-tlc

    No documentation

    TLC: A Library for Classical Coq
    category:Computer Science/Data Types and Data Structures date:2026-01-20 keyword:classical logic logpath:TLC
    Arthur Charguéraud
    20260120
    MIT
    Used by 2 other packages
    20 Jan 2026