Sign in
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