Add warnings for conversion from strict to non-strict inequalities

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

https://vehicle-lang.readthedocs.io/

Other

81 stars 7 forks source link

Closed MatthewDaggitt closed 1 year ago

MatthewDaggitt commented 1 year ago

We've had lots of complaints about loss of law of excluded middle, so I've added a warning for https://github.com/vehicle-lang/vehicle/issues/74