Rocq (Coq)

• rocq-prover.org
  • github.com/rocq-prover/rocq
• Rocq - Wikipedia (en)
  • Coq - Wikipedia (ja)