GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve | Rogue Scholar

Also known as

GALLINETTE: Gallinette: developing a new generation of proof assistants

Type

Facility

Location

Rennes, Brittany, France

Website

https://www.inria.fr/equipes/gallinette

Parent

Centre Inria de l'Université de Rennes

ROR

Laboratoire des Sciences du Numérique de Nantes

ROR