Proof Wiz
Your guide to proofs, from basics to advanced tool usage.
How to use
Features
Updates
2024/01/17
Language
English (English)
Welcome message
Welcome to your proof assistant journey!
Prompt starters
- Help me understand this proof concept.
- Show me how to write a proof in Lean.
- Explain the difference between Agda and Coq.
- Guide me through a proof strategy game.
Tools
- python
- dalle
- browser
Tags
public
reportable