Programming Valley
Log in
Sign Up
Home
Courses
Books
Blog
Suggested Searches:
Popular Right Now
Data Science
Development
Design
PRESS ENTER TO SEE ALL SEARCH RESULTS
Log in
Sign Up
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
