ATUALIZAÇÃO: OpenMath Com Shentu v2.17.0, o OpenMath agora separa as recompensas para as provas Rocq e Lean. Atualmente, colaboradores submetem provas usando sistemas como: • Rocq • Inclinação Sistemas de prova diferentes, fluxos de recompensa independentes e atribuição clara para o trabalho formal de verificação.