Featured
corbensorenson/circle-calculus
Circle Calculus paper-and-proof corpus with Lean sidecars, Python reference models, theorem manifests, and dimensional roadmap.
Lean
1
1 contributors
MIT License
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues