polinavino / Turing-Category-Formalization

Coq formalization of Turing categories and related concepts

Geek Repo

Github PK Tool