Home 2019

Archives

proof assistants

Computer science and mathematics: Equality in proof assistants based on type theory

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.

Follow Us

Advertisements