SH – IMT Atlantique Bretagne-Pays de la Loire Related Content
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.
