💬 50+ Total Chats
Helps with Dafny code creation and verification
💬 30+ Chats
delegates tasks to an SMT solver
💬 10+ Chats
writes models and proofs