HomeAI Tutorial

paperproof

Public

Lean theorem proving interface which feels like pen-and-paper proofs.

Creat2023-03-16T23:24:27
Update2025-03-24T03:19:03
480
Stars
3
Stars Increase

Related projects