Skip to content

GitLab

Explore

Sign in
Register

isa-afp
afp-2022

afp-2022 hg

Project information

Isabelle2022 release of the Archive of Formal Proofs

13,274 Commits
1 Branch
13 Tags

README

Created on

October 01, 2022

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