OpenMath Rocq Theorem

Mathematical theorem proving with the Rocq proof assistant