Lean

lean

Versions

v3.7.2 with mathlib ecdb138

v3.11.0 with mathlib 51e2b4c

Timeout

20s

Test Frameworks

  • Lean

Packages

v3.7.2 with mathlib ecdb138

v3.11.0 with mathlib 51e2b4c

Edit on GitHub