Add instructions how to use Pygments to display Vehicle code in latex

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

https://vehicle-lang.readthedocs.io/

Other

81 stars 7 forks source link

Open MatthewDaggitt opened 11 months ago

MatthewDaggitt commented 11 months ago

The magic command according to @wenkokke is:

pip install vehicle-lang[pygments]