Galactic core library
0.1.0
Getting started
Install Galactic core library
Learning
Tutorial
Notebooks
Algebras
Concepts
Rules
Implicational system
Reference
Algebras
Characteristics
Strategies
Concepts
Rules
Galactic core library
Docs
»
Notebooks
»
Rules
View page source
Rules
ΒΆ
Implicational system