aclai-lab/SoleLogics.jl
View on GitHubComputational logic in Julia!
- Stars
- 20
- Forks
- 7
- Open beginner issues
- 0
- Indexed issues
- 10
- Dominant language
- Julia
- License
- MIT
- Last GitHub push
- Jun 18, 2026
- Latest indexed
- Sep 13, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- good first issue help wanted
- PR merge metrics
- No merged PRs in 30d
-
aclai-lab/SoleLogics.jl#14 · 163 comments · 0 reactions · 0 assignees ·
-
enhancement good first issue help wanted
aclai-lab/SoleLogics.jl#47 · 2 comments · 0 reactions · 0 assignees ·
-
invalid
aclai-lab/SoleLogics.jl#67 · 3 comments · 0 reactions · 3 assignees ·
-
Remove `dev` branch Openenhancement good first issue help wanted
aclai-lab/SoleLogics.jl#72 · 0 comments · 0 reactions · 0 assignees ·
-
optimization
aclai-lab/SoleLogics.jl#77 · 1 comment · 0 reactions · 1 assignee ·
-
aclai-lab/SoleLogics.jl#78 · 0 comments · 2 reactions · 4 assignees ·
-
bug
aclai-lab/SoleLogics.jl#108 · 6 comments · 0 reactions · 5 assignees ·
-
aclai-lab/SoleLogics.jl#109 · 0 comments · 0 reactions · 0 assignees ·
-
check(::Atom, ::AbstractDict) returns nothing for an absent atom, but its docstring documents false Open
aclai-lab/SoleLogics.jl#111 · 0 comments · 0 reactions · 0 assignees ·
-
aclai-lab/SoleLogics.jl#115 · 0 comments · 0 reactions · 0 assignees ·