Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
rocq-prover/rocq: Rocq 9.2+rc1
2026
0 citations
Other
green Open Access
·
Télécom Paris
Enrico Tassi
·
Mathys (Netherlands)
Jean-Christophe Filliatre
Pierre Roux
·
Office National d'Études et de Recherches Aérospatiales
Guillaume Melquiond
Arnaud Spiwack
·
Tweed Shire Council
Jason Gross
·
Laboratoire de Physique Théorique
barras
Pierre Boutillier
Vincent Laporte
Jim Fehrle
Stéphane Glondu
·
Institut national de recherche en sciences et technologies du numérique
Yves Bertot
·
Institut national de recherche en sciences et technologies du numérique
Jasper Hugunin
·
Microsoft Research (United Kingdom)
Clément Pit-Claudel
Ali Caglayan
forestjulien
Pierre Courtieu
Frédéric Besson
Pierre Rousselin
MSoegtropIMC
Yann Leray
rocq-prover/rocq: Rocq 9.2+rc1 | Researchclopedia