Pinned Loading

1. platform platform Public

   Forked from rocq-prover/platform

   Multi platform setup for Coq, Coq libraries and tools

   Shell

2. opam opam Public

   Forked from rocq-prover/opam

   Archive for all Rocq and Coq-related opam packages organized in various repositories

   OCaml 1

3. rocq-prover/rocq-platform-starter rocq-prover/rocq-platform-starter Public

   One-command bootstrap installer for reproducible Rocq Platform environments across Linux, macOS and Windows.

   Go 5 1

4. release-maintainer release-maintainer Public

   Dashboard interface to have a full view regarding the current release or release selected

   TypeScript