FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Voevodsky's work on formalization of proofs and the foundations of mathematics

Author: Daniel Grayson

Paper Information

Title:Voevodsky's work on formalization of proofs and the foundations of mathematics
Authors:Daniel Grayson
Proceedings:ITP Papers
Editors: Jeremy Avigad and Assia Mahboubi
Keywords:
Abstract:
Pages:1
Paper: