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