leanprover / theorem_proving_in_lean4

RepositoryStats indexes 584,353 repositories, of these leanprover/theorem_proving_in_lean4 is ranked #206,888 (65th percentile) for total stargazers, and #191,111 for total watchers. Github reports the primary language for this repository as JavaScript, for repositories using this language it is ranked #25,498/65,255.

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

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

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