Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Home
Ecosystem
Overview
NixOS
Package Manager
Nix Language
Nixpkgs
Hydra
Applications
Topics
Software
Hardware
Desktop
Server
Community
Learn NixOS
Overview
Guides
Tutorials
References
Cookbooks
Wiki
Contribute
Manual of Style
Recent changes
Random page
Official NixOS Wiki
Search
Search
English
Appearance
Create account
Log in
Personal tools
Create account
Log in
Lean4
Page
Discussion
English
Read
View source
View history
Tools
Tools
move to sidebar
hide
Actions
Read
View source
View history
General
What links here
Related changes
Printable version
Permanent link
Page information
Appearance
move to sidebar
hide
From Official NixOS Wiki
Revision as of 08:15, 25 July 2026 by
Jthulhu
(
talk
|
contribs
)
(Jthulhu moved page
Lean4
to
Lean 4
: Misspelled title)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Redirect page
Redirect to:
Lean 4
Search
Search
Lean4
Add languages
Add topic
