AFP Mirror

Local mirror of Archive of Formal Proofs (https://www.isa-afp.org/) submissions/projects - possibly with extensions that will be submitted to AFP at a later stage.

There are no packages yet.

For more information on the package registry, see the documentation.