Pinned Loading

1. idris-lang/Idris2 idris-lang/Idris2 Public

   A purely functional programming language with first class types

   Idris 2.9k 401

2. idris-community/idris2-lsp idris-community/idris2-lsp Public

   Language Server for Idris2

   Idris 187 40

3. leanprover/lean4 leanprover/lean4 Public

   Lean 4 programming language and theorem prover

   Lean 7.6k 787

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 3k 1.2k

5. agda/agda agda/agda Public

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

   Haskell 2.8k 404

6. plfa/plfa.github.io plfa/plfa.github.io Public

   An introduction to programming language theory in Agda

   Agda 1.5k 345