Useful Tool-related Links

• Z3: Z3py tutorial, Z3py API
• Rosette: guide
• Dafny: tutorial code, reference manual
• F*: tutorial, code
• Lean
• Coq: Software Foundations, Certified Programming with Dependent Types