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.
Sort
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.