Move `Ann` from expressions to builtins

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

There are various wrinkles such as it still being present in the loss/polarity/linearity backends but it's definitely a step in the right direction.