issues
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
Refactored representation of bound envs to remove Bound constructor
#834
Closed
MatthewDaggitt
closed
3 months ago