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