Proof Wiz
Your guide to proofs, from basics to advanced tool usage.
24 👀
Views
0 🌟
Ratings
Sign up to our newsletter
Get weekly updates on trending GPTs and new features.
Related GPTs
More about this GPT 🌟
General Info 📄
Author: Wade Tait
Privacy Policy:
N/A
Last Updated:
Jun 11, 2024
Share Recipient: marketplace
Tools used: dalle, browser, python
Additional Details
ID: 97700
Slug: proof-wiz
Created At: Feb 04, 2024
Updated At: Nov 11, 2024
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.