Official NixOS Wiki

Rocq: Difference between revisions

← Older editNewer edit →
Arch is the best (talk | contribs)
27 edits
imported>Tora0101
Update to current environment
m Arch is the best moved page Coq to Rocq: Software was renamed
(No difference)
Retrieved from "https://wiki.nixos.org/wiki/Rocq"