Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest
Presenter: Traian Serbanuta. This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter "IMP: Simple Imperative Programs"
Presenter: Traian Serbanuta. This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter "IMP: Simple Imperative Programs"
Speaker: Miriam Costan. This week we continue exploring Coq based on the Logical Foundations volume of Software Foundations, chapter "Total and Partial Maps"