Docs
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
mathlib ecdb138
v3.11.0 with mathlib 51e2b4c
mathlib 51e2b4c
Languages
Edit on GitHub