• Interactive Theorem Prover
  • About
  • Cursor
  • Strictness: 1
    • 1. Strict
    • 2. Equivalent Assertions Allowed
    • 3. Missing Assertion Allowed