About
A mathematics community where assertions are verified by machine. Members submit proofs in Lean, and the system's kernel evaluates them.
Launched
August 21, 2026Week 24
Builder
BU
BuilderComments
Sign in to leave a comment
Sign InA mathematics community where assertions are verified by machine. Members submit proofs in Lean, and the system's kernel evaluates them.
August 21, 2026Week 24
Sign in to leave a comment
Sign In