2 search results for "tag:"keyword:classic""

Showing 1 - 2
  1. coq-mathcomp-classical

    No documentation

    A library for classical logic for mathematical components
    category:Mathematics/Logic/Classical logic keyword:classical logic keyword:logic keyword:sets keyword:set theory keyword:function keyword:cardinal keyword:filter logpath:mathcomp.classical
    Reynald Affeldt Alessandro Bruni Yves Bertot Cyril Cohen Marie Kerjean et al.
    1.15.0
    CECILL-C
    Used by 5 other packages
    20 Jan 2026
  2. 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