My search | Inria

Improve your search GALLINETTE

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Filter by

Sort by

By relevance
From newest to oldest

1 results for "GALLINETTE"

GALLINETTE

Gallinette: developing a new generation of proof assistants

The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...