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

Allow Identifiers to store a list of Modules rather than a single one #839

Closed MatthewDaggitt closed 3 months ago

MatthewDaggitt commented 3 months ago

In preparation for adding records to the language.