Lawrence Paulson
19
Abonné
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
- Documents
- Infographies