search

vehicle-lang / vehicle

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

Fix license information #854

Closed wenkokke closed 1 month ago

bobatkey commented 1 month ago

Looks good to me