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
| Type | university |
|---|---|
| Country | France |
| Founded | 2018 |
| Website | https://www.inria.fr/equipes/gallinette Live checked 2026-08-01 |
| Wikidata | Q52557857 |