- ...-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
- | [https://github.com/hyprland-community/hyprls hyprls] | Lean 3 ...13 KB (1,458 words) - 13:59, 6 June 2026
- ...n mathematical library.|https://leanprover-community.github.io/|{{AUR|lean-community}}}} * {{App|[[Wikipedia:Astropy|Astropy]]|The Astropy Project is a community effort to develop a common core package for Astronomy in Python and foster ...71 KB (9,530 words) - 18:53, 28 June 2026
- ...n mathematical library.|https://leanprover-community.github.io/|{{AUR|lean-community}}}} * {{App|[[Wikipedia:Astropy|Astropy]]|The Astropy Project is a community effort to develop a common core package for Astronomy in Python and foster ...71 KB (9,587 words) - 18:53, 28 June 2026
- ...teką matematyczną Lean.|https://leanprover-community.github.io/|{{AUR|lean-community}}}} ...edia:LibreCAD|LibreCAD]]|Aplikacja CAD 2D oparta na Qt5. Rozwidlona z QCAD Community Edition.|https://www.librecad.org/|{{Pkg|librecad}}}} ...76 KB (10,269 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 ;Lean: A purely functional language for writing formal proofs. ...38 KB (5,598 words) - 11:35, 26 June 2026
- | {{Pkg|intellij-idea-community-edition}} / {{AUR|intellij-idea-ultimate-edition}} | [https://github.com/ocaml-community/utop/releases/tag/2.13.0 2.13.0] ...124 KB (17,418 words) - 21:12, 24 June 2026
Retrieved from "https://wiki.archlinux.org/title/Special:Search"