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.