Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
47-check-that-an-interval-is-an-interval
branch
47-check-that-an-interval-is-an-interval
definitions/michele
dev_marco
dev
dev-autologiset
dev-mauro
edo
edo-gio
edo-rule
gh-pages
gio/refractoring
main
minimization/andrea
task/remove-old-code
type-edo
tag
v0.13.0
v0.12.0
v0.11.0
v0.10.4
v0.10.3
v0.10.2
v0.10.1
v0.10.0
v0.9.5
v0.9.4
v0.9.3
v0.9.2
v0.9.1
v0.9.0
v0.8.3
v0.8.2
v0.8.1
v0.8.0
v0.7.0
v0.6.14
v0.6.13
v0.6.12
v0.6.11
v0.6.10
v0.6.9
v0.6.8
v0.6.7
v0.6.6
v0.6.5
v0.6.4
SoleLogics.jl
docs
src
Name
..
assets
old-code
base-logic.md
getting-started.md
hands-on.md
index.md
many-valued-logics.md
modal-logic.md
more-on-formulas.md
more-on-interpretations.md