yangky11 / miniF2F-lean4

This repository has no description...

Date Created 2023-08-28 (about a year ago)
Commits 63 (last one 29 days ago)
Stargazers 40 (0 this week)
Watchers 3 (0 this week)
Forks 17
License mit
Ranking

RepositoryStats indexes 616,861 repositories, of these yangky11/miniF2F-lean4 is ranked #535,211 (13th percentile) for total stargazers, and #433,549 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #105/131.

Other Information

yangky11/miniF2F-lean4 has 1 open pull request on Github, 8 pull requests have been merged over the lifetime of the repository.

There have been 2 releases, the latest one was published on 2025-01-21 (29 days ago) with the name v4.15.0.

Star History

Github stargazers over time

40403535303025252020151510105500Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

3333332.52.522222215 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 Feb

Recent Commit History

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

707060605050404030302020101000Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

12121010886644220020242024

Issue History

Total Issues
Open Issues
Closed Issues
554.54.5443.53.5332.52.5221.51.5110.50.500Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Languages

The only known language in this repository is Lean

LeanLean

updated: 2025-02-14 @ 09:23am, id: 684276797 / R_kgDOKMk8PQ