- ...-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|bicep-langserver-bin}} | {{AUR|clojure-lsp-bin}} ...13 KB (1,458 words) - 13:59, 6 June 2026
- ...n mathematical library.|https://leanprover-community.github.io/|{{AUR|lean-community}}}} ...analysis software|https://sandialabs.github.io/InterSpec/|{{AUR|interspec-bin}}}} ...71 KB (9,530 words) - 18:53, 28 June 2026
- ...n mathematical library.|https://leanprover-community.github.io/|{{AUR|lean-community}}}} ...analysis software|https://sandialabs.github.io/InterSpec/|{{AUR|interspec-bin}}}} ...71 KB (9,587 words) - 18:53, 28 June 2026
- The visionary project was originally devised in April 2008 by long time Arch community member [https://bbs.archlinux.org/profile.php?id=2529 lucke] as a simple sh #!/bin/sh ...38 KB (5,598 words) - 11:35, 26 June 2026
- ...teką matematyczną Lean.|https://leanprover-community.github.io/|{{AUR|lean-community}}}} ...wania spektralnego|https://sandialabs.github.io/InterSpec/|{{AUR|interspec-bin}}}} ...76 KB (10,269 words) - 18:53, 28 June 2026
- * {{ic|$HOME/.local/bin}} ...different architectures, installing compiled binaries to {{ic|$HOME/.local/bin}} could cause problems when used on systems of differing architectures. Thi ...124 KB (17,418 words) - 21:12, 24 June 2026
Retrieved from "https://wiki.archlinux.org/title/Special:Search"