Popular repositories Loading

1. mathlib4_copy mathlib4_copy Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

2. rocq_copy rocq_copy Public

   Forked from rocq-prover/rocq

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml

3. agda_copy agda_copy Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

4. FStar_copy FStar_copy Public

   Forked from FStarLang/FStar

   A Proof-oriented Programming Language

   F*

5. HOL_copy HOL_copy Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

6. lean4_copy lean4_copy Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean