GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve
facilityRennes, Brittany, France
Research output, citation impact, and the most-cited recent papers from GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
0
h-index
0
i10-index
0
Also known as
GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuveGALLINETTE: Gallinette: developing a new generation of proof assistants
Top-cited papers from GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve
No indexed publications for this institution yet.