1 result found Sort:
Lean theorem proving interface which feels like pen-and-paper proofs.
Created
2023-03-16
850 commits to main branch, last one about a month ago