Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

rocq-prover/rocq: Rocq 9.1.1

20260 citationsOthergreen Open Access

Authors

Pierre-Marie Pédrot

coqbot · IQ Samhällsbyggnad

Gaëtan Gilbert · Institut national de recherche en sciences et technologies du numérique

Emilio Jesús Gallego Arias · Fryske Akademy

Matthieu Sozeau · Institut national de recherche en sciences et technologies du numérique

Théo Zimmermann

Abstract

See the changelog for an overview of the new bug fixes and changes.

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18554917

rocq-prover/rocq: Rocq 9.1.1 | Researchclopedia

· 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

Pierre Boutillier

Vincent Laporte

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

Pierre Courtieu

Frédéric Besson

Pierre Rousselin