Problems
Every result LEAP has verified in Lean
— problems so far. Each compiles with no sorry. Open one to read the statement, the informal proof, the Lean proof and the proof DAG LEAP built to find it.
| Problem | Lean |
|---|
* † TODOExplain what the markers mean. The monospace label after a title names the variant that was proved.