this should
Đang mở
Chưa có ai nhận issue này.
- Ngôn ngữ chính
- Lean
- Star
- 709
- Fork
- 200
- Merge trung bình
- 3 ngày 6 giờ
- Pull request đã merge (30 ngày)
- 45
Mô tả
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Mở Cslib/Logics/Propositional/Defs.lean tại dòng được liên kết và xem xét các định nghĩa xung quanh cũng như các quy ước của dự án. Issue không nêu rõ cần thay đổi điều gì hoặc phải xác minh việc hoàn thành như thế nào, vì vậy hãy làm rõ hành vi dự kiến trước khi bắt đầu triển khai.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Lĩnh vực
- tooling
- Loại issue
- Tái cấu trúc
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức độ hoạt động
- Ít trao đổi
- Độ rõ ràng
- Cần làm rõ
- Mức phù hợp với người mới
- 25/100