Progress in the Independent Certification of Mizar Mathematical Library in Isabelle.

Cezary Kaliszyk Karol Pak

Published in: FedCSIS (2017)

Keyphrases

theorem prover
third party
neural network
computer assisted
digital libraries
real time
data sets
databases
knowledge representation
online learning