Popular repositories Loading

1. HoTTEST-Summer-School HoTTEST-Summer-School Public

   Forked from martinescardo/HoTTEST-Summer-School

   HoTTEST Summer School materials

   TeX 1

2. agda agda Public

   Forked from agda/agda

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

   Haskell

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Contributing to mathlib4

   Lean

4. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

5. mathematica-garden mathematica-garden Public

   A growing collection of some Mathematica notebooks and packages I've written.

   Mathematica

6. std4 std4 Public

   Forked from leanprover-community/batteries

   Standard Library for Lean 4

   Lean