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
- Documents
- Infographics