F-Algebras in Coq Prerequisites opam repo add coq-released https://coq.inria.fr/opam/released Extract ./configure.sh make Credits Maxim Sokhatsky Denys Stoyanov OM A HUM