ACTUALIZACIÓN: OpenMath Con Shentu v2.17.0, OpenMath ahora separa las recompensas para las pruebas de Rocq y Lean. Los contribuyentes actualmente envían pruebas utilizando sistemas como: • Rocq • Lean Diferentes sistemas de prueba, flujos de recompensas independientes y una clara atribución para el trabajo de verificación formal.