Popular repositories Loading

1. excel-database excel-database Public

   A Wordpress plugin for structuring, displaying, and querying data in an MS Excel spreadsheet table

   PHP 4 1

2. arl-in-coq arl-in-coq Public

   Abstract Rewrite Systems specified in Coq

   Coq 3

3. propositions-as-types propositions-as-types Public

   Some scribbling while reading Type Theory and Formal Proofs by Rob Nederpelt and Herman Geuvers

   Coq 3 1

4. semantics-in-coq semantics-in-coq Public

   A companion for the FLP class @ UNIBUC

   Rocq Prover 2

5. semantics-in-lean semantics-in-lean Public

   A companion for the Foundations of Programming Languages class @ UNIBUC

   Lean 2

6. language-k language-k Public

   1 1