daira/CompElliptic
Computable elliptic-curve abstractions for Lean 4
GitHub repository with 5 stars and 1 forks.
Language: Lean
24h trend summary
Trending score 0.09, freshness score 0.82, stars gained +0, forks gained +0.
Latest metric snapshot
2026-06-15: 5 stars and 1 forks.