Convert formulas to OLP commands in set-theory
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 35/100
- Loại issue
- Tính năng
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- tex
- Lĩnh vực
- content, documentation
Hướng nghiên cứu
Bắt đầu bằng cách xác định tài liệu về lý thuyết tập hợp và các định nghĩa hoặc cách sử dụng của \lforall và \lexists. Xem lại các quy ước về công thức được mô tả trong issue, bao gồm !A, các lượng từ có điều kiện, \eq cho đồng nhất thức và các đối số nguyên tử được đặt trong ngoặc; công việc hoàn tất khi tài liệu tuân theo các quy ước đó và các lệnh có điều kiện tạo ra đầu ra đã nêu.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Material from Tim Button in the set-theory part contains formulas. These have formulas hardcoded as \phi instead of !A etc, use \exists and \forall instead of \lexists and \lforall, don't use \eq for identity, and in some cases have atomic formulas without parentheses around arguments. To fix this, will need ability of \lforall and \lexists to have guards, e.g., \lforall(x \in \alpha)[!A(x)] should produce (\forall x \in \alpha), !A(x).
- 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ự
-
[开源推荐] 打拼音就出篆书的输入法，附古文字创作小工具Đang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 82/100
521xueweihan/HelloGitHub#3940 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
fendouai/awesome-deepseek-harness#117 ·
Maintainer thường phản hồi trong vòng 4 ngày
-
Add: Da Vinci (Vietnam)Đang mởapproved check:passed streams:add
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100
Maintainer thường phản hồi trong vòng 1 ngày
-
new-entry
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
BinWang28/audio-ai-hub#194 ·
-
curriculum documentation quality
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
githubnext/gh-aw-workshop#4489 ·
Maintainer thường phản hồi trong vòng 1 ngày