/
.nojekyll
404.html
CNAME
book.min.cc7f7da4e201466c24d4145b227311a8f1462dd7940d82e2d55c370645cf9541.css
categories
coq-style-guide
docs
en.search-data.min.db967840e46b1744e8ea5911a8b316229481ddd955ae9497d3ef232b1590c47d.js
en.search.min.d59155e62a5c5b4ff8f90845580f2225b938da2b1506af250727aadcdc5122f1.js
favicon.png
favicon.svg
flexsearch.min.js
fonts
images
index.html
index.xml
katex
manifest.json
mermaid.min.js
sitemap.xml
svg
tags