Gallinette

logo inria logo LS2N logo IMT Atlantique logo Université de Nantes

Gallinette is a joint team of Inria and LS2N (Laboratoire des sciences du numérique de Nantes), co-located at IMT Atlantique and the university of Nantes.

Team Presentation

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