Popular repositories Loading

1. SystemT SystemT Public

   An interpreter for Gödel's System T

   Haskell 12

2. Linear-Logic-Proof-Assistant Linear-Logic-Proof-Assistant Public

   Sequent calculus based proof assistant for ILL

   Haskell 6

3. coqtbgen coqtbgen Public

   formally verified endgame tablebase generator in coq

   Coq 4

4. cantor cantor Public

   constructive formalization of cantor's theorem about dense linear orders without endpoints

   Coq 1

5. IFOL IFOL Public

   Coq formalization of intuitionistic first-order logic

   Coq 1

6. coq-project coq-project Public

   My project using Coq to prove Post's Theorem.

   Coq