Representation and Validation of Mechanically Generated Proofs -- Final Report

by Michael J. C. Gordon

Datum	Value	Source
TITLE	Representation and Validation of Mechanically Generated Proofs Final Report	SVM HeaderParse 0.1
ABSTRACT	The goal of this project was to demonstrate the feasibility of the independent and trusted validation of the proofs generated by existing theorem provers. Our intention	SVM HeaderParse 0.1
CITATIONS	16 found	ParsCit 1.0