Package rocq-core

• rocq(1) — The Rocq Prover
• rocqchk(1) — verify compiled Rocq libraries