×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [coq teaching experience]
Martin Henz and Aquinas Hobor School of Computing National University of Singapore
217 views
Teaching Experience: Logic and Formal Methods with Coq
48 views