Pinned Loading

1. leanprover/lean4 leanprover/lean4 Public

   Lean 4 programming language and theorem prover

   Lean 4.8k 435

2. electrolysis electrolysis Public archive

   Simple verification of Rust programs via functional purification in Lean 2(!)

   Lean 336 6

3. leanprover/elan leanprover/elan Public

   The Lean version manager

   Rust 325 36

4. nixprof nixprof Public

   A Nix build graph profiler

   Python 31 4