Can I contribute proofs to theorems whose proof left for exercise?
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 20/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- tex
- Lĩnh vực
- content
Hướng nghiên cứu
Issue không nêu tệp, định lý, bài tập, bài kiểm thử hay tiêu chí chấp nhận nào. Trước tiên, hãy làm rõ liệu các lời giải chứng minh cho bài tập có được chấp nhận hay không và xác định một định lý hoặc mệnh đề cụ thể; để hoàn thành sẽ cần thống nhất phạm vi cho việc thêm lời giải chứng minh vào giáo trình.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Hi,
I am wondering if it is alright to contribute my own proofs for theorems/propositions in the book whose proof is left as exercises?
- Ngôn ngữ chính
- TeX
- Star
- 1.4k
- Fork
- 289
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
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.
Issue khác của OpenLogicProject/OpenLogic
-
Russel's Paradox typoĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 65/100
OpenLogicProject/OpenLogic#339 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 50/100
OpenLogicProject/OpenLogic#436 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
OpenLogicProject/OpenLogic#435 · 1 bình luận ·
-
Order-type of models of PAĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
OpenLogicProject/OpenLogic#425 · 1 bình luận ·
-
Improve docsĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
OpenLogicProject/OpenLogic#390 ·
Tất cả issue của OpenLogicProject/OpenLogic
Issue tương tự
-
community first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 75/100
lingdojo/kana-dojo#32018 · 1 bình luận · 5 reaction ·
Maintainer thường phản hồi trong vòng 1 ngày
-
good first issue help wanted no code needed region-socal
Độ khó 2/5 1-2 ngày Mức phù hợp với người mới 68/100
VadneyK/internships#19 ·
-
Content: Doxxing Defense - Add "remove/hide your google maps reviews" as its own checklist itemĐang mởcontent 📝 feature ✨ security 🔐
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 66/100
ActivistChecklist/ActivistChecklist#708 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
deferred domain:charter from:dev priority:P3 status:triage
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
spec-kitty/spec-kitty#5977 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 75/100