rocq-prover/platform

View on GitHub

Multi platform setup for Rocq, Rocq libraries and tools

Stars: 247
Forks: 56
Open beginner issues: 0
Indexed issues: 55

Dominant language: Shell
License: CC0-1.0
Last GitHub push: Jul 30, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

55 open issues indexed

Specify that Intel Macs require installing from source Open

Difficulty 1/5 Under an hour Newbie friendliness 90/100

rocq-prover/platform#537 · 1 comment · 1 reaction · Opened Sep 16, 2026
documentation of install buildtools for Fedora Open

Difficulty 1/5 Under an hour Newbie friendliness 92/100

rocq-prover/platform#536 · 1 comment · 1 reaction · Opened Sep 14, 2026
Documentation of Install Prerequisites for rocqide in Linux (Mint) Open

Difficulty 1/5 Under an hour Newbie friendliness 88/100

rocq-prover/platform#520 · 1 comment · 1 reaction · Opened Apr 22, 2026
revdeps broken in windows installer Open

rocq-prover/platform#513 · 2 comments · 1 assignee · Opened Feb 26, 2026
Add rocq-lean-import to the platform Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/platform#504 · 2 comments · Opened Nov 21, 2025
Windows: Question about how to set user-contrib lib for coqlib Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/platform#503 · Opened Nov 21, 2025
Dont fix vscoq-language-server version Open

kind: enhancement part: installation

rocq-prover/platform#501 · 1 assignee · Opened Nov 5, 2025
Old version of language server Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/platform#495 · 1 comment · Opened Oct 1, 2025
Install instructions do not work, due to missing dune 3.16.1 -- have to use script from main instead Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

rocq-prover/platform#489 · 1 comment · 2 reactions · Opened Sep 11, 2025
[ERROR] Package dune has no version 3.15.3. Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/platform#474 · 25 comments · 1 reaction · Opened Jun 28, 2025
Remove paramcoq from platform Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

rocq-prover/platform#466 · Opened Feb 25, 2025
Add autosubst-ocaml to the Coq Platform Open

approval: has maintainer agreement kind: package inclusion

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/platform#455 · 2 comments · Opened Jan 2, 2025
Tracker issue for 8.20 package tag creation Open

kind: upstream tracker

rocq-prover/platform#449 · 1 assignee · Opened Dec 3, 2024
MacOS: command file does not find the correct coqc if one is available via opam Open

platform: macOS

rocq-prover/platform#442 · 1 assignee · Opened Oct 28, 2024
MacOS: check suitability of XCode Open

platform: macOS

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/platform#438 · Opened Oct 15, 2024
install Coq through opam fails on Arch Linux if ocaml-findlib package is installed Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/platform#415 · 4 comments · 1 reaction · Opened May 10, 2024
Add a check if any COQxxx environment variables are set Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

rocq-prover/platform#414 · Opened May 10, 2024
Unable to run Coq-Platform after following instructions for disk image installation on MacBook Air M1 16GB Sonoma 14.4.1 Open

needs: retest

rocq-prover/platform#413 · 19 comments · 2 reactions · 1 assignee · Opened May 6, 2024
Missing Windows 32bit binaries in 2023.11.0 release Open

part: documentation

Difficulty 4/5 3-5 days Newbie friendliness 25/100

rocq-prover/platform#401 · 3 comments · Opened Feb 28, 2024
CI: auto cancel workflow runs on new push to PR branch Open

kind: enhancement part: ci and testing

Difficulty 2/5 1-3 hours Newbie friendliness 42/100

rocq-prover/platform#394 · Opened Jan 16, 2024
Coq Platform & OCaml 5 Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/platform#393 · 1 comment · 1 reaction · Opened Jan 7, 2024
Add the libraries for undecidability and first-order logic to the Platform Open

approval: has maintainer agreement kind: package inclusion

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/platform#386 · 4 comments · Opened Nov 2, 2023
Add coinduction to the Coq Platform Open

kind: package inclusion

Difficulty 4/5 3-5 days Newbie friendliness 25/100

rocq-prover/platform#380 · Opened Oct 20, 2023
Add coq-tools / coq-bug-minimizer to the platform? Open

approval: has maintainer agreement kind: package inclusion

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/platform#378 · 2 comments · 1 reaction · Opened Oct 19, 2023
Scripts: opam update is done to late - it must be done before switch creation Open

kind: bug part: installation

rocq-prover/platform#374 · 1 assignee · Opened Oct 13, 2023
coq-platform snap: missing icons in coqide Open

Difficulty 3/5 1-2 days Newbie friendliness 30/100

rocq-prover/platform#362 · 2 comments · Opened Sep 4, 2023
snap-installed Coq Platform does not work in emacs/ProofGeneral Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

rocq-prover/platform#361 · 3 comments · Opened Sep 4, 2023
CI: update Github actions Open

part: ci and testing

Difficulty 2/5 1-3 hours Newbie friendliness 25/100

rocq-prover/platform#359 · 2 comments · Opened Aug 21, 2023
Add path length check on root path on Windows (for serapi). Open

kind: enhancement platform: windows

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/platform#358 · 1 comment · Opened Aug 21, 2023
Add coq-autosubst to the platform Open

approval: has maintainer agreement kind: package inclusion

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/platform#351 · 13 comments · 1 reaction · Opened Jul 12, 2023
Add graph-theory core package to the Coq Platform Open

approval: has maintainer agreement kind: package inclusion

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/platform#349 · 1 comment · Opened Jun 19, 2023
Move coq-metacoq-template (and dependencies) to the "full" level Open

approval: has maintainer agreement kind: package inclusion

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/platform#344 · 2 comments · Opened Apr 24, 2023
Citing Platform releases Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

rocq-prover/platform#329 · 12 comments · Opened Feb 15, 2023
Mention Coq Platform (mostly) compatible debian packages in ReadMe Open

kind: enhancement part: documentation

rocq-prover/platform#323 · 1 comment · 1 assignee · Opened Jan 24, 2023
Coq Platform Readme.md does not point to latest release Open

needs: retest

rocq-prover/platform#322 · 7 comments · 1 assignee · Opened Jan 23, 2023
[wish,wip] wacoq build Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/platform#312 · 9 comments · 2 reactions · Opened Nov 17, 2022
Add MMaps to Coq Platform Open

approval: editorial board agreement approval: has maintainer agreement kind: package inclusion

rocq-prover/platform#307 · 6 comments · 1 reaction · 1 assignee · Opened Oct 23, 2022
macOS MacPorts: z3 fails to build if MacPorts Python3 was not installed before Open

kind: bug needs: retest platform: macOS MacPorts

rocq-prover/platform#303 · 1 comment · 1 assignee · Opened Oct 13, 2022
Add SMTCoq to Coq Platform Open

approval: has maintainer agreement kind: package inclusion

rocq-prover/platform#302 · 39 comments · 1 assignee · Opened Oct 13, 2022
Propose to install each Platform level in Windows installer. Open

platform: windows

Difficulty 4/5 3-5 days Newbie friendliness 35/100

rocq-prover/platform#293 · 1 comment · Opened Sep 23, 2022
Use opam pin add for stdpp and iris .dev Open

part: local opam repo

Difficulty 3/5 1-2 days Newbie friendliness 35/100

rocq-prover/platform#290 · 3 comments · Opened Sep 21, 2022
Support a "CoqCI" package pick, which mimics Coq CI Open

kind: enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

rocq-prover/platform#227 · 1 comment · Opened Mar 21, 2022
"coqide -help" hangs when installed with the Coq platform, etc. Open

kind: bug needs: retest

rocq-prover/platform#350 · 17 comments · 1 assignee · Opened Feb 2, 2022
SSProve Open

approval: has maintainer agreement kind: package inclusion

Difficulty 4/5 3-5 days Newbie friendliness 25/100

rocq-prover/platform#177 · 22 comments · Opened Nov 17, 2021
Readme files: include catagories and keywords from opam Open

part: documentation

rocq-prover/platform#156 · 1 comment · 1 assignee · Opened Oct 22, 2021
Plans to streamline future platform maintenance. Open

part: documentation

rocq-prover/platform#152 · 2 comments · 1 reaction · 1 assignee · Opened Oct 15, 2021
Cryptographic signing of platform releases Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

rocq-prover/platform#132 · 14 comments · Opened Sep 15, 2021
MacOS DMG installer: fix remaining (nice to have) issues Open

kind: cleanup kind: enhancement platform: macOS

rocq-prover/platform#98 · 2 comments · 1 assignee · Opened Apr 6, 2021
Coq 8.13 and coq-native Open

kind: enhancement

rocq-prover/platform#60 · 7 comments · 1 assignee · Opened Jan 8, 2021
Add csdp to the Coq Platform Open

kind: package inclusion needs: help needs: prerequisites needs: retest platform: macOS platform: windows

rocq-prover/platform#39 · 33 comments · 1 assignee · Opened Oct 24, 2020

rocq-prover/platform

Get new issues in your inbox