Cardinals in Isabelle/HOL.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: ITP (2014)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
higher order logic
first order logic
sequent calculus
cut elimination
machine learning
feature space