Experiences from Exporting Major Proof Assistant Libraries.

Michael Kohlhase Florian Rabe

Published in: J. Autom. Reason. (2021)

Keyphrases

real world
artificial intelligence
case study
digital libraries
multiresolution
theorem prover
data sets
data mining
multiscale
data structure
domain knowledge