Isabelle Import Infrastructure for the Mizar Mathematical Library.

Cezary Kaliszyk Karol Pak

Published in: CICM (2018)

Keyphrases

computer assisted
theorem prover
data collection
information exchange
natural deduction
mathematical knowledge
building blocks
mathematical expressions
computer algebra
databases
machine learning
learning algorithm
information sharing