GitHub repository: yatima-inc/FFaCiL.lean
Primary language: Lean
Description: Finite Fields and Curves in Lean