aclai-lab/SoleLogics.jl
Xem trên GitHubComputational logic in Julia!
- Star
- 20
- Fork
- 7
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 10
- Ngôn ngữ chính
- Julia
- Giấy phép
- MIT
- Lần push lên GitHub gần nhất
- 18/6/2026
- Lập chỉ mục gần nhất
- 13/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- good first issue help wanted
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
-
Issue for JuliaRegistrator Đang mở
aclai-lab/SoleLogics.jl#14 · 163 bình luận · 0 reaction · 0 người được giao ·
-
enhancement good first issue help wanted
aclai-lab/SoleLogics.jl#47 · 2 bình luận · 0 reaction · 0 người được giao ·
-
SoleData.jl dependency Đang mởinvalid
aclai-lab/SoleLogics.jl#67 · 3 bình luận · 0 reaction · 3 người được giao ·
-
Remove `dev` branch Đang mởenhancement good first issue help wanted
aclai-lab/SoleLogics.jl#72 · 0 bình luận · 0 reaction · 0 người được giao ·
-
Optimize SoleLogics structures Đang mởoptimization
aclai-lab/SoleLogics.jl#77 · 1 bình luận · 0 reaction · 1 người được giao ·
-
aclai-lab/SoleLogics.jl#78 · 0 bình luận · 2 reaction · 4 người được giao ·
-
Equality relation for TruthDicts Đang mởbug
aclai-lab/SoleLogics.jl#108 · 6 bình luận · 0 reaction · 5 người được giao ·
-
aclai-lab/SoleLogics.jl#109 · 0 bình luận · 0 reaction · 0 người được giao ·
-
check(::Atom, ::AbstractDict) returns nothing for an absent atom, but its docstring documents false Đang mở
aclai-lab/SoleLogics.jl#111 · 0 bình luận · 0 reaction · 0 người được giao ·
-
aclai-lab/SoleLogics.jl#115 · 0 bình luận · 0 reaction · 0 người được giao ·