Teaching Experience: Logic and Formal Methods with Coq Martin Henz and Aquinas Hobor? National University of Singapore Abstract. During the past three years we have been integrating mechanized theorem proving into a tra - Aquinas University - Document - PDFSEARCH.IO

First Page	Meta Content
	Teaching Experience: Logic and Formal Methods with Coq Martin Henz and Aquinas Hobor? National University of Singapore Abstract. During the past three years we have been integrating mechanized theorem proving into a tra Add to Reading List Document Date: 2011-09-25 01:36:19 Open Document File Size: 156,43 KB Share Result on Facebook

Teaching Experience: Logic and Formal Methods with Coq Martin Henz and Aquinas Hobor? National University of Singapore Abstract. During the past three years we have been integrating mechanized theorem proving into a traAdd to Reading List