Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Slides for a Heptapod presentation at Mercurial Conference - Paris 2019
-
Presentation of Heptapod in French at PyConFR2019
-
-
-
-
Isabelle2019 release of the Archive of Formal Proofs
-
Isabelle2020 release of the Archive of Formal Proofs
-
Isabelle2021 release of the Archive of Formal Proofs
-
Isabelle2021-1 release of the Archive of Formal Proofs
-
Isabelle2022 release of the Archive of Formal Proofs
-
Admin scripts for the AFP.
-
Development version of the Archive of Formal Proofs
-
Testboard repository for AFP. Push to this repository if you want to test changes for afp-devel.
-
To be deleted.
-
-
-
Tools to help writing date/time-dependent tests.
-
-
Lightweight distributed issue tracker as a Mercurial extension (https://www.mercurial-scm.org/wiki/bExtension).
-