Licensing the Mizar Mathematical Library

Jesse Alama Michael Kohlhase Adam Naumowicz Piotr Rudnicki Josef Urban Lionel Mamane

Published in: CoRR (2011)

Keyphrases

computer assisted
database
data sets
databases
mathematical expressions
real world
machine learning
case study
natural language
data model
cross platform
mathematical proofs