Skip to content
This repository was archived by the owner on Oct 14, 2023. It is now read-only.

leanprover/lean3

Error
Looks like something went wrong!

About

Lean Theorem Prover

leanprover.github.io/

Topics

programming-language dependent-types theorem-proving verification type-theory lean

Resources

Readme

License

Apache-2.0 license
Activity
Custom properties

Stars

2.2k stars

Watchers

114 watching

Forks

218 forks
Report repository

Releases 8

v3.4.2 Latest
Jan 18, 2019
+ 7 releases

Packages

No packages published

Contributors 40
+ 26 contributors

Languages