Logic and proof assistants

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/89947

Title:	Logic and proof assistants
Author:	Martínez Coronado, Tomás
Other authors:	Universitat Politècnica de Catalunya. Departament de Matemàtiques; Université Paris 7; Ventura Capell, Enric
Abstract:	A short, mostly self-contained introduction to Homotopy Type Theory, which ends with the proof of Seifert-Van Kampen Theorem for sets. It was supposed to be a study about Coq prood assistant, but it ended up being an introduction to this theory.
Abstract:	Outgoing
Subject(s):	-Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica -Constructive mathematics -Proof theory -Type theory -Homotopy type theory -Lògica matemàtica -Matemàtica constructiva -Classificació AMS::03 Mathematical logic and foundations::03F Proof theory and constructive mathematics
Rights:
Document type:	Research/Master Thesis
Published by:	Universitat Politècnica de Catalunya
Share: