Lapisla.net
The User-Friendly Theorem Proof Platform
lapisla.net is more than just a theorem proving assistant—it's a theorem proving platform!
You can create, edit, and share your proofs with others very easily. Just one click is all you need.
No environment setup required
lapisla completely runs on the web, so you don't need to install anything on your computer, including package managers.
