search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

Submit your extension to awesome-sphinxdoc #73

Open intoverflow opened 2 years ago

intoverflow commented 2 years ago

See https://github.com/yoloseem/awesome-sphinxdoc

cpitclaudel commented 2 years ago

Thanks! I won't have time to do it myself, but I would love for someone to do it ^^

intoverflow commented 2 years ago

I should have time this week to reach out and make it happen 👍