/
.nojekyll
404.html
CNAME
book.min.b07e338e07a9a926c141d155a3e6d06d0c41e4afe4d81564015c56799705b0ca.css
categories
coq-style-guide
docs
en.search-data.min.aeff076d6e9b0b384920d3b30200e418907084a5cba80b98fd2d92b4f054a984.js
en.search.min.09c4470fdacb71a68922c07311d906b9cd808586067883b11db52f10e30e96d4.js
favicon.png
favicon.svg
flexsearch.min.js
fonts
future
images
index.html
index.xml
katex
manifest.json
mermaid.min.js
papers
sitemap.xml
svg
tags
vericert-main.svg
vericert-white.svg