Formalizations of Computability and Complexity proofs
Primary LanguageAgda
This repository is not active