FFC (Formerly FFaCiL)

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

Past dependencies

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