ContributorsDr Nicolas Tabarea - IMT Atlantique Bretagne-Pays de la Loire Dr Nicolas Tabarea Researcher IMT Atlantique Bretagne-Pays de la Loire Contributor Details Phone: +33 251 85 82 37 Email: nicolas.tabareau@inria.fr Website: Visit Website Academic Articles Contributor's latest research content Content coming soon. Please check back. Contributor Profiles The latest news and updates Computer science, software and mathematics: Interactive proof assistantsResearch & InnovationSeptember 7, 2020Computer science and mathematics: Equality in proof assistants based on type theoryResearch & InnovationOctober 8, 2019
Computer science, software and mathematics: Interactive proof assistantsResearch & InnovationSeptember 7, 2020
Computer science and mathematics: Equality in proof assistants based on type theoryResearch & InnovationOctober 8, 2019