Bài viết này được dịch máy
Xem bản gốc
Hơi khó hiểu một chút, nhưng tôi đã chuyển đổi Paco một cách trung thực từ Coq sang Lean, vì tôi cần nó cho một dự án khác. Paco cho phép bạn viết các bằng chứng có thể kết hợp về các quy trình vô hạn.
Bản gốc: http:/plv.mpi-sws.org/paco
Lean:
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
