Here, we explore the mission of the Directorate for Education and Human Resources at the National Science Foundation to achieve excellence in U.S. science, technology, engineering and mathematics (STEM) education at all levels.
Dr Nicolas Tabareau from IMT Atlantique Bretagne-Pays de la Loire, details equality in proof assistants based on type theory, which falls under the umbrella of computer science and mathematics.
Advertisements
Latest Academic Articles
The latest academic articles from key research stakeholders