Skip to content

GitLab

Explore

Sign in
Register

isa-afp
afp-2021

afp-2021 hg (legacy)

Project information

Isabelle2021 release of the Archive of Formal Proofs

11,744 Commits
1 Branch
11 Tags

README

Created on

January 24, 2021

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