logo inrialogo LS2Nlogo IMT Atlantiquelogo Université de Nantes

Gallinette is a joint team of Inria and of the Laboratory of Digital Science of Nantes (LS2N), co-located at IMT Atlantique and at the Faculty of Science.


The Gallinette team aims at enabling a new generation of proof assistants, with the belief that practical experiments must go hand in hand with foundational investigations:

Extending the current capabilities of proof assistants is a kind of experimental endeavour, probing every aspect of the correspondence, from programming languages and type theory to proof theory, rewriting, and algebra.