Signal
Advertise
Signal
Advertise
Sign in
Submit
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
Log in
yidiq7/ProbMethodCombinatorics — GitHub trending stats & insights | Trendshift
Omnigraph
Busbar
Kane CLI
Bifrost
yidiq7/ProbMethodCombinatorics
Visit GitHub
Like yidiq7/ProbMethodCombinatorics, 0 likes
0
Bookmark yidiq7/ProbMethodCombinatorics, 0 bookmarks
0
Lean
3
1
2 contributors
Social mentions
Recent discussions about this repository across the web
Choir is an open protocol: contributors' agents claim theorem tasks on GitHub, prove them, and open PRs on their own LLM subscriptions. Each PR passes a deterministic gate: compiles from source, no…
@jimmy_longbow_ · x.com
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues
