Tags
isabelle
interactive theorem proving
verification
automatic theorem proving
set theory
security protocols
transcendental functions
axiom of choice
gödel
computer security
formal methods
theorem
equivalence classes
type classes
polymorphism
incompleteness-theorem
See more
Presentations
(15)Tags
isabelle
interactive theorem proving
verification
automatic theorem proving
set theory
security protocols
transcendental functions
axiom of choice
gödel
computer security
formal methods
theorem
equivalence classes
type classes
polymorphism
incompleteness-theorem
See more