AGGIORNAMENTO: OpenMath Con Shentu v2.17.0, OpenMath ora separa le ricompense per le prove Rocq e Lean. I contributori attualmente inviano prove utilizzando sistemi come: • Rocq • Lean Sistemi di prova diversi, flussi di ricompensa indipendenti e chiara attribuzione per il lavoro di verifica formale.