FFaCiL.lean
FFaCiL: Finite Fields and Curves in Lean, which is also "easy" in such languages as Portuguese and French ("fácil" and "facile" respectively).
FFaCiL.lean
Finite Fields and Curves in Lean
FFaCiL: Finite Fields and Curves in Lean, which is also "easy" in such languages as Portuguese and French ("fácil" and "facile" respectively).