ACTUALIZACIÓN: OpenMath Con Shentu v2.17.0, OpenMath ahora separa las recompensas por las demostraciones Rocq y Lean. Actualmente, los colaboradores presentan pruebas utilizando sistemas como: • Rocq • Inclinado Diferentes sistemas de prueba, flujos de recompensa independientes y una atribución clara para el trabajo formal de verificación.