- ...-driven effort to build a unified library of mathematics formalized in the Lean proof assistant. === Lean 4 using elan === ...12 KB (1,785 words) - 17:00, 28 May 2026
- | {{AUR|elan-lean}} | {{ic|~/.elan}} ...124 KB (17,418 words) - 21:12, 24 June 2026
Retrieved from "https://wiki.archlinux.org/title/Special:Search"