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).