GitHub repository: mpenciak/FFaCiL
Primary language: Lean
Description: Finite Fields and Curves in Lean