Atlas › France › GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve

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

Type
university
Country
France
Founded
2018
Website
https://www.inria.fr/equipes/gallinette Live checked 2026-08-01
Wikidata
Q52557857
Data sources: Wikidata