polinavino/Turing-Category-Formalization

Coq formalization of Turing categories and related concepts

Coq