leanprover / theorem_proving_in_lean4

RepositoryStats indexes 595,856 repositories, of these leanprover/theorem_proving_in_lean4 is ranked #206,871 (65th percentile) for total stargazers, and #192,427 for total watchers. Github reports the primary language for this repository as JavaScript, for repositories using this language it is ranked #25,337/65,999.

leanprover/theorem_proving_in_lean4 has 17 open pull requests on Github, 53 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 29 open issues and 13 closed issues.

Homepage URL: https://leanprover.github.io/theorem_proving_in_lean4/