×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [computer p2]
Wrapping up the first half: First-order logic for security analysis, First-order logic in Coq, Constructive logic, & Inductive proofs on paper/Coq Aquinas
221 views
Aquinas Hobor and Martin Henz
38 views