CẬP NHẬT: OpenMath Với Shentu v2.17.0, OpenMath hiện tách biệt phần thưởng cho các chứng minh Rocq và Lean. Các nhà đóng góp hiện đang gửi chứng minh bằng các hệ thống như: • Rocq • Lean Các hệ thống chứng minh khác nhau, dòng phần thưởng độc lập và ghi nhận rõ ràng cho công việc xác minh chính thức.