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

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

Maintainer

MSoegtropIMC