Galactic core library
0.2.0
Getting started
Install Galactic core library
Learning
Tutorial
Notebooks
Algebras
Concepts
Rules
Implicational system
Reference
Algebras
Characteristics
Descriptions
Strategies
Concepts
Rules
Release Notes
Release Notes
Galactic core library
»
Notebooks
»
Rules
View page source
Rules
ΒΆ
Implicational system