Pinned Loading

1. koka-lang/koka koka-lang/koka Public

   Koka language compiler and interpreter

   Haskell 3.5k 180

2. algebraic-graphs/agda algebraic-graphs/agda Public

   The theory of algebraic graphs formalised in Agda

   Agda 90 6

3. naproche/naproche naproche/naproche Public

   Write formal proofs in natural language and LaTeX.

   TeX 36 6

4. leanprover-community/lean leanprover-community/lean Public

   Lean 3 Theorem Prover (community fork)

   C++ 434 79