←
Back to Open Source
🐙 GitHub Detail
F
argumentcomputer/FFaCiL.lean
By argumentcomputer
Finite Fields and Curves in Lean
GitHub
Lean
MIT License
Updated 17 Dec 2025
Live Snapshot
⭐
Stars
14
🍴
Forks
3
📄
License
MIT License
🧩
Type
Lean
📘
About this open-source project
Live information fetched from GitHub.
Finite Fields and Curves in Lean
🌿
Default Branch
main
🐞
Open Issues
0
👀
Watchers
14