Skip to content

@coq The Coq proof assistant was the former name of the Rocq Prover

Change the repository type filter

All

    Repositories list

    1 repository

    • coq.github.io

      Public
      Redirection to the new rocq-prover.org website
      HTML
      •1•0•0•0•Updated Mar 28, 2025Mar 28, 2025