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

[pre-commit.ci] pre-commit autoupdate #787

Closed pre-commit-ci[bot] closed 8 months ago

pre-commit-ci[bot] commented 8 months ago

updates:

MatthewDaggitt commented 8 months ago

@dependabot rebase