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

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.9.0
    CECILL-C
    Used by 2 other packages
    20 Feb 2025
  2. coq-tlc

    No documentation

    TLC: A Library for Classical Coq
    category:Computer Science/Data Types and Data Structures date:2024-02-09 keyword:classical logic logpath:TLC
    Arthur Charguéraud
    20240209
    MIT
    Used by 2 other packages
    13 Feb 2024