Back to Rocq Team

User Interfaces

The User Interfaces team is responsible for the development and maintenance of the Rocq document managers and user interfaces.

Teams

Document Managers and top-level interfaces

The stm-maintainers and toplevel-maintainers teams.

Gaëtan Gilbert
Maintainer (stm)

SkySkimmer
Emilio Jesús Gallego Arias
Maintainer (toplevel)

ejgallego
Enrico Tassi
Maintainer (stm, toplevel)

gares

VS Rocq

The Visual Studio Code Rocq plugin team.

GitHub
Enrico Tassi
Maintainer

gares
Romain Tetley
Maintainer

rtetley

RocqIDE

The historical standalone IDE for the Rocq Prover.

Hugo Herbelin
Maintainer

herbelin
Pierre-Marie Pédrot
Maintainer

ppedrot
Jim Fehrle
Maintainer

jfehrle
Emilio Jesús Gallego Arias
Maintainer

ejgallego
Maintainer

MSoegtropIMC
Ali Caglayan
Maintainer

Alizter