Assistant to the Proof Assistant

Tagged “presentation”

  1. An Introduction to Formal Methods
  2. Formalizing Java's Access Modes
  3. Differential Semantics
  4. Faster JavaScript through Category Theory

See all tags.