Re-imagining the Isabelle Archive of Formal Proofs.

Carlin MacKenzie Fabian Huch James Vaughan Jacques D. Fleuriot

Published in: CICM (2022)

Keyphrases

formal proofs
theorem prover
metadata
digital archives
artificial intelligence
database
databases
machine learning
knowledge base
principal component analysis
general purpose
first order logic