EasyChair Smart SlideDocs/Log in
Author: Pierre Boutry

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

First-Order Simplification of GeoCoq using Dedukti

First-Order Simplification of GeoCoq using Dedukti

Yoan Géran and Pierre Boutry

On the Coq/Rocq Mechanization of Beeson's "On the Notion of Equal Figures in Euclid"

On the Coq/Rocq Mechanization of Beeson's "On the Notion of Equal Figures in Euclid"

Prunelle Colin and Pierre Boutry

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