Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem.

Abhishek Kr Singh

Published in: CoRR (2017)

Keyphrases

genetic algorithm
interactive theorem proving
von neumann
object recognition
database
data sets
high level
learning environment
special case
medical images
intuitionistic logic