Skip to content

GitLab

Explore

Sign in
Register

isa-afp
afp-2019

afp-2019 hg (legacy)

Project information

Isabelle2019 release of the Archive of Formal Proofs

6,340 Commits
5 Branches
11 Tags

README

Created on

April 23, 2020

Copy SSH clone URLssh://hg@foss.heptapod.net/isa-afp/afp-2019
Copy HTTPS clone URLhttps://foss.heptapod.net/isa-afp/afp-2019