search

FormalSAT / trestle

Apache License 2.0
17 stars 2 forks source link

add definitions for satisfiable/unsatisfiable #13

Closed JamesGallicchio closed 6 months ago

JamesGallicchio commented 7 months ago

Probably should be added for all of PropForm, PropFun, and PropAssignment _ -> Prop. It would make certain theorem statements a little bit more readable IMO.

Relevant to #12

JamesGallicchio commented 6 months ago

closed by #16