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

Try to fix `mypy` typing error #865

Closed MatthewDaggitt closed 3 hours ago

MatthewDaggitt commented 4 hours ago

Typing seems to be have updated in the version of Python we're running mypy with. Let's see if this fixes it.