Popular repositories Loading

1. coq-ll coq-ll Public

   Formalization of Linear Logic in Coq

   Rocq Prover 18 2

2. sequoia-v0 sequoia-v0 Public

   Design, play with, and analyze sequent calculus proof systems.

   Standard ML 16 2

3. lltp lltp Public

   TPTP linear logic version

   OpenEdge ABL 15 2

4. sellf sellf Public

   SubExponential Linear Logic Framework for reasoning about sequent calculus systems

   JavaScript 9 2

5. sml-to-coq sml-to-coq Public

   A tool that translates SML code to Coq

   Standard ML 7

6. abella-reasoning abella-reasoning Public

   TeX 4 1