search

FormalSAT / trestle

Apache License 2.0
17 stars 2 forks source link

Provide `PropForm` booleanalgebra notation #17

Open JamesGallicchio opened 6 months ago

JamesGallicchio commented 6 months ago

PropForm is not a BooleanAlgebra but the notation does not require it be.

I think we should provide the same notation for PropForms and use it everywhere instead of direct references to the constructors.