lean4leanprover
ADDEDLean 4 is a programming language and theorem prover for formal verification, functional programming, and interactive proof development.
OPEN SOURCE, OPEN TO EVERYONE
Open source. Open possibilities.
Discover quality open-source projects, submit projects anonymously, and claim and edit your own project.
✳Human-curated · Discover open source4109discovered
A little curiosity. A world of open source.
THE FIRST COLLECTIONTopic: lean4清除