Open source repositories tagged with #lean4, ranked by health score.
Lean theorem proving interface which feels like pen-and-paper proofs.
