This repository has been archived by the owner on Oct 26, 2022. It is now read-only.
Release known to be compatible with Coq 8.11 to 8.13. Definitions and results related to primitive recursive functions and Peano arithmetic have been moved to the hydra-battles project. Dependencies are hydra-battles (tested with version 0.4) and pocklington (tested with version 8.12.0).