Skip to content
This repository has been archived by the owner on May 8, 2024. It is now read-only.

isabelle-prover/mirror-afp-2022

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

The Archive of Formal Proofs

This is the mercurial repository for the Archive of Formal Proofs (AFP).

The main development version of the AFP repository is hosted at https://foss.heptapod.net/isa-afp/afp-devel.

If you are an AFP author or Isabelle maintainer, you can get push access to this repository by sending a request, including your Heptapod login, to afp-submit at in.tum.de

Guidelines for maintaining entries can be found in the doc/ directory.