Popular repositories Loading

1. coq-ll coq-ll Public

   Formalization of Linear Logic in Coq

   Coq 16 2

2. lltp lltp Public

   TPTP linear logic version

   OpenEdge ABL 14 2

3. sequoia-v0 sequoia-v0 Public

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

   Standard ML 13 1

4. sellf sellf Public

   SubExponential Linear Logic Framework for reasoning about sequent calculus systems

   JavaScript 8 2

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

   A tool that translates SML code to Coq

   Standard ML 6

6. abella-reasoning abella-reasoning Public

   TeX 2 1