Featured
ycmath/flat-clone-counting-corrected
The even-carrier routing law for every k and n, the k-stratified per-signature theory of the odd flat carrier, and finite-witness refutations of the multiplicative assembly (13th release of the dual-rail carrier program)
Lean
2 contributors
Apache License 2.0
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