Report copyright - Formalizing Turing Machines - Plone siteasperti/SLIDES/wollic_talk.pdf · About Matita Matita [7] (pencil) is an implementation of the Calculus of (Co-)Inductive Constructions alternative
Please pass captcha verification before submit form