Skip to content

aclai-lab/SoleLogics.jl

Error
Looks like something went wrong!

About

Computational logic in Julia!

aclai-lab.github.io/SoleLogics.jl/

Topics

logic modal-logic symbolic-learning

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

17 stars

Watchers

5 watching

Forks

7 forks
Report repository

Releases 48

v0.13.2 Latest
Apr 30, 2025
+ 47 releases

Packages

No packages published

Contributors 10

Languages