EasyChair Smart SlideDocs/Log in
Author: Nicolas Magaud

This page shows all presentations of this author published in EasyChair Smart Slide.

An Automated Approach towards Constructivizing the GeoCoq Library

An Automated Approach towards Constructivizing the GeoCoq Library

Alexandre Jean, Pierre Boutry and Nicolas Magaud

Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) Using the Coq Proof Assistant

Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective Space PG(3,2) Using the Coq Proof Assistant

Nicolas Magaud

Presentations in this collection: 2
Copyright © 2002 – 2025 EasyChair