A tool for enforcing specifications on neural networks. Write one specification and use it during …
vehicle-lang/vehicle
#806