Fossy
fossy
Back leanprover/lean4
lean4

lean4

Lean 4 programming language and theorem prover

8.6k 918130 HN points
Apache-2.0
 last commit 2026-07-29
leanlean4
Website Source
Share:

About

Lean 4 programming language and theorem prover

lean4 website preview

Languages

Lean94.7%C++3.7%Python0.6%Shell0.5%CMake0.3%C0%Nix0%HTML0%OCaml0%Swift0%Haskell0%Makefile0%Standard ML0%

Contributors30

leodemoura23750Kha5010kim-em1533tydeu1139gebner1013soonhokong826nomeata641hargoniX518digama0439avigad419kmill381TwoFX346Vtec234332sgraf812305+16

No features listed.

Comments Theme
Install
Build from source
Nix
Keywords
lean
lean4
slug: lean4

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)