Start
The composition and modules
Introduction
The four main modules
The abstract core concepts
Propositional logic the default style and the descriptive introduction of (canonic) normalizations
Instances of propositional algebras with fast implementations
Additional functions
Hidden modules
Propositional algebras
The different instances
Feasibility and performance of the fast implementations