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 bằng chứng Rocq và Lean. Hiện tại, các cộng tác viên gửi bằng chứng thông qua các hệ thống như: • Rocq • Độ nghiêng Các hệ thống chứng minh khác nhau, luồng phần thưởng độc lập và sự ghi nhận rõ ràng cho công việc Xác minh chính thức .
Bài viết này được dịch máy
Xem bản gốc
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
Nội dung liên quan
