search

appliedfm / vstyle

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

Add webhook for readthedocs.io #3

Closed intoverflow closed 2 years ago

intoverflow commented 2 years ago

See https://docs.readthedocs.io/en/stable/integrations.html#github