Skip to content

GitLab

Explore

Sign in
Register

isa-afp
afp-2020

afp-2020 hg (legacy)

Project information

Isabelle2020 release of the Archive of Formal Proofs

11,061 Commits
1 Branch
11 Tags

README

Created on

June 22, 2020

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