Search results

Finish renaming to Rocq

Status: Open.

#42 In rocq-community/rocq-tricks;

· tchajed opened on Jun 16, 2025

Automated deployment of web documentation

Status: Open.

#31 In rocq-community/rocq-tricks;

· palmskog opened on Jul 22, 2024

<code>Module A := A</code> vs <code>Include Module</code>

Status: Open.

#27 In rocq-community/rocq-tricks;

· InfiniteEchoes opened on Jul 22, 2024

Trick suggestion

Status: Open.

#18 In rocq-community/rocq-tricks;

· Yu-zh opened on Nov 16, 2020

convoy pattern

Status: Open.

#12 In rocq-community/rocq-tricks;

· cryslith opened on Jun 8, 2019

Test against multiple Coq versions

Status: Open.

#9 In rocq-community/rocq-tricks;

· tchajed opened on Nov 10, 2018