Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

A hierarchy builder

Participants : Kazuhiko Sakaguchi, Cyril Cohen.

We are studying how to generate mathematical structures from their axioms using the high-level language provided by the Coq-Elpi experiment. Ongoing experiments are visible at the following address