Popular repositories Loading

1. SOSML SOSML Public

   Forked from SOSML/SOSML

   An interpreter for Standard ML written in TypeScript.

   TypeScript

2. metacoq metacoq Public

   Forked from MetaRocq/metarocq

   Metaprogramming in Coq

   Coq

3. base-library base-library Public

   Forked from uds-psl/base-library

   Coq

4. thesis-template thesis-template Public

   Forked from yforster/thesis-template

   A LaTeX template for Bachelor or Master theses

   TeX

5. coq-library-undecidability coq-library-undecidability Public

   Forked from uds-psl/coq-library-undecidability

   A library of formalised undecidable problems in Coq

   Coq

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