marcusrossel / lean-egg

A (WIP) equality saturation tactic for Lean based on egg.

Date Created 2024-01-15 (about a year ago)
Commits 467 (last one 8 days ago)
Stargazers 55 (0 this week)
Watchers 5 (0 this week)
Forks 4
License apache-2.0
Ranking

RepositoryStats indexes 616,861 repositories, of these marcusrossel/lean-egg is ranked #452,160 (27th percentile) for total stargazers, and #339,381 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #82/131.

Other Information

marcusrossel/lean-egg has 1 open pull request on Github, 17 pull requests have been merged over the lifetime of the repository.

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

Star History

Github stargazers over time

60605050404030302020101000Feb '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

55554444443333Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Recent Commit History

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

500500450450400400350350300300250250200200150150100100505000Feb '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

45045040040035035030030025025020020015015010010050500020242024

Issue History

Total Issues
Open Issues
Closed Issues
40403535303025252020151510105500Feb '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 primary language is Lean but there's also others...

LeanLeanRustRustCCShellShell

updated: 2025-02-19 @ 06:45am, id: 743430481 / R_kgDOLE_ZUQ