Add an abbreviation for PropAssn -> Prop - Githubissues

FormalSAT / trestle

Apache License 2.0

17 stars 2 forks source link

Add an abbreviation for PropAssn -> Prop #12

Closed JamesGallicchio closed 6 months ago

JamesGallicchio commented 7 months ago

no idea what to call it :/ naming ideas welcome

JamesGallicchio commented 6 months ago

now called PropPred