تحديث: OpenMath مع إصدار شينتو 2.17.0، يفصل OpenMath الآن المكافآت لبراهين روك واللين. يقدم المساهمون حاليا إثباتات باستخدام أنظمة مثل: • روك • الميل أنظمة إثبات مختلفة، تدفقات مكافآت مستقلة، ونسب واضح للعمل الرسمي للتحقق القانوني.