Abstract: We discuss the development of executable programs from state-based specifications written in the language of first-order predicate calculus. Notable examples of such specifications are those ...

A continuation of MATH 0121, may be elected by first-year students who have had an introduction to analytic geometry and calculus in secondary school. Topics include a brief review of natural ...

Liberal Arts at Queen's is a unique, exciting and challenging programme that allows students to immerse themselves in subjects that are vital to understanding our twenty-first- century world. Through ...

This release implements the renaming from Coq to Rocq, MetaCoq to MetaRocq and TemplateCoq to TemplateRocq.