GitHub repository: pjmtdw/dash-docset-coq
Primary language: Python
Description: Script to make Dash docset of Coq