Explicit convertibility proofs in pure type systems.

Floris van Doorn Herman Geuvers Freek Wiedijk

Published in: LFMTP (2013)

Keyphrases

database
digital libraries
management system
distributed systems
theorem proving
machine learning
theorem prover