search

appliedfm / vstyle

A style guide for Coq
https://vstyle.readthedocs.io
MIT License
17 stars 0 forks source link

Add to Alectryon gallery #8

Open intoverflow opened 2 years ago

intoverflow commented 2 years ago

Submit a PR to Alectryon:

https://github.com/cpitclaudel/alectryon/#gallery