PaperFormalizer: Tác giả trong vòng tự chính thức hóa các bài báo nghiên cứu trong Lean

Đoạn trích bài viết

Ngay cả một tờ giấy được sửa chữa cẩn thận cũng có thể để lại những khoảng trống nhỏ trong bằng chứng hoặc giả định được đưa ra. Chúng tôi giới thiệu PaperFormalizer, một hệ thống quản lý cơ quan dựa trên Lean giúp các tác giả tìm thấy và đóng cửa những khoảng trống như vậy trong các bài báo của riêng họ và biến mỗi bài báo thành một phiên bản được kiểm chứng bằng Lean.