michael-roe/number-theory — GitHub trending stats & insights

Reach 125K+ monthly visitors

michael-roe/number-theory

Lean theorems for number theory

Lean

Social mentions

Recent discussions about this repository across the web

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Data is not available yet

Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available