Home Tags SH Inria

SH Inria Related Content

interactive proof assistants, mathematics

Computer science, software and mathematics: Interactive proof assistants

Dr Nicolas Tabareau from IMT Atlantique Bretagne-Pays de la Loire, provides us with further insight about interactive proof assistants, within the wider field of computer science, software and mathematics.
proof assistant, metacoq

Why should we trust proof assistants?

Proof assistants are formal proof management systems, which provide a formal language to write mathematical definitions, executable algorithms and theorems, more of which here is explained by Inria Rennes - Bretagne Atlantique.

Follow Open Access Government