Mots-clés
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
Tout plus
Présentations
(15)Mots-clés
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
Tout plus