Suggested Searches:
Development
,
Design
Signup
Login
General
Explore
Courses
Books
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