34j / best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.

34j
34j
Date Created 2023-11-11 (about a year ago)
Commits 79 (last one 17 days ago)
Stargazers 62 (0 this week)
Watchers 5 (0 this week)
Forks 4
License cc-by-sa-4.0
Ranking

RepositoryStats indexes 589,134 repositories, of these 34j/best-of-lean4 is ranked #403,324 (32nd percentile) for total stargazers, and #333,644 for total watchers.

34j/best-of-lean4 is also tagged with popular topics, for these it's ranked: awesome (#2,428/2846)

Other Information

34j/best-of-lean4 has 10 open pull requests on Github, 54 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there is 1 open issue and 2 closed issues.

There have been 38 releases, the latest one was published on 2024-11-21 (12 days ago) with the name Update: 2024.11.21.

All Topics
lean lean4 awesome best-of

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

79 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

We don't have any language data for this repository

It's a mystery

updated: 2024-12-03 @ 05:10am, id: 717346442 / R_kgDOKsHWig