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