Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

pkgs/development/rocq-modules/HoTT/

pkgs/development/rocq-modules/ · 0 packages and modules · 1 open pull requests
Sign in to subscribe
Pull requests 1
rocqPackages.HoTT: init at 9.1
#535181 by proux01 · opened 3mo ago · checks fail
Closed or merged in the synced window 1
Merge coq-modules and rocq-modules derivations
#541797 by Zimmi48 · merged 8w ago
Issues 0
None open.