FFaCiL: Finite Fields and Curves in Lean, which is also "easy" in such languages as Portuguese and French ("fácil" and "facile" respectively).
This is a fork of the original work done by Yatima, the upstream repository being FFaCiL.lean.
Much of the content of the Util submodule is taken from the upstream
Yatima Standard Library which is no longer being
maintained