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