Sign in
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant.
Théo Zimmermann
Hugo Herbelin
Published in:
CoRR (2015)
Keyphrases
</>
theorem prover
semi automatic
proof search
fully automatic
formal methods
real time
data driven
real world
information systems
e learning
learning environment
test bed