search

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
Other
81 stars 7 forks source link

Removed provenance from App nodes #802

Closed MatthewDaggitt closed 7 months ago

MatthewDaggitt commented 7 months ago

Only took me 3 years to recognise it wasn't needed....