Popular repositories Loading

1. fstar-type-checker fstar-type-checker Public

   An external type-checker for the fstar language

   1

2. lpfstar lpfstar Public

   1

3. MindTheWord MindTheWord Public

   Forked from OiWorld/MindTheWord

   An extension for Google Chrome that helps people learn new languages while they browse the web.

   JavaScript

4. Encyclopedia Encyclopedia Public

   Forked from ProofSystem/Encyclopedia

   An Open Encyclopedia of Proof Systems

   TeX

5. rag rag Public

   Forked from saasbook/rag

   Ruby Auto-grader

   Ruby

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml