Chop Logic Core - v1.4.0
Preparing search index...
Models
PropExpression
Type Alias PropExpression
PropExpression
:
PropSymbol
[]
A sequence of propositional symbols forming a logical expression.
Settings
Member Visibility
Inherited
Theme
OS
Light
Dark
Chop Logic Core - v1.4.0
Loading...
A sequence of propositional symbols forming a logical expression.