Skip to content

Search

About Registry Community Blog Documentation (opens in new tab)

Suggest an addition or update to ROR

Suggest (opens in new tab)

Subscribe to the ROR newsletter

Subscribe (opens in new tab)

Email (opens in new tab)
LinkedIn (opens in new tab)
Mastodon (opens in new tab)
Bluesky (opens in new tab)
YouTube (opens in new tab)
GitHub (opens in new tab)
Documentation (opens in new tab)

All ROR IDs and metadata are provided under the Creative Commons Public Domain 1.0 International (opens in new tab) Licence.

All other content of this site is licensed under the Creative Commons Attribution 4.0 International Licence (opens in new tab).

Read the ROR Privacy Policy and Terms of Use.

ROR search home page

https://ror.org/01gamk045

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

Organization types

Facility

Other names

Labels

GALLINETTE: Gallinette: developing a new generation of proof assistants (en)

Acronyms

GALLINETTE

Locations

Rennes (GeoNames ID 2983990 (opens in new tab)), France

Website

https://www.inria.fr/equipes/gallinette (opens in new tab)

Relationships

Parent Organizations

Centre Inria de l'Université de Rennes
Laboratoire des Sciences du Numérique de Nantes

Record last modified: 2026-01-15

View JSON (opens in new tab)Suggest a change (opens in new tab)