ColinRothgang
authored
Interestingly neither LEO nor Zipperp'n can solve this within 60s timeout. However, the MMT based prover can solve this. Maybe the handwritten example is not ideally formatted, or maybe MMTs internal solver helps here.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||