issues
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
Change haskell/actions/setup to haskell-actions/setup
#760
Closed
wenkokke
closed
10 months ago