User
Signup
Login
Pages
  • About
  • Contact
  • Privacy Policy
    • Follow us

    Book Topic: Isabelle/HOL

    Concrete Semantics – A Proof Assistant Approach

    January 7, 2023

    Isabelle/HOL – A Proof Assistant for Higher-Order Logic (PDF)

    January 7, 2023