Hybrid

site.uottawa.casite

System for reasoning using higher-order abstract syntax representations of object logics.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   Program Logics github.com

   tool category #coq link ↗

   Companion Coq sources for a course on program logics at Collège de France.

   
2. ▲
   Mechanized Semantics github.com

   tool category #coq link ↗

   Companion Coq sources for a course on programming language semantics at Collège de France.

3. ▲
   Formal Reasoning About Programs adam.chlipala.net

   site category #coq link ↗

   Book that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose.

4. ▲
   Logics for Epistemic Programs link.springer.com

   site category #agi-cocosci link ↗

   Synthese, 2004. [All Versions].

   
5. ▲
   Learning higher-order logic programs andrewcropper.com

   site category #agi-cocosci link ↗

   Machine Learning, 2019. [All Versions].

6. ▲
   Coq in a Hurry cel.archives-ouvertes.fr

   site category #coq link ↗

   Introduction to how Coq can be used to define logical concepts and functions and reason about them.

Coq › Projects > Frameworks: “System for reasoning using higher-order abstract syntax representations of object logics.”