search

habtom / factum

Architectural Design Constraints Specification and Verification
GNU General Public License v3.0
1 stars 1 forks source link

Theorem should end with "sorry", not with "and" #44

Closed dmarmsoler closed 6 years ago

dmarmsoler commented 6 years ago

Theorem delivery produces an "and" at the end. this should rather be a "sorry"