vericert-docs - Documentation for Vericert.

Mode	Name	Size
-rw-r--r--	.nojekyll	0	log stats plain
-rw-r--r--	404.html	1135	log stats plain
-rw-r--r--	CNAME	18	log stats plain
-rw-r--r--	book.min.cc7f7da4e201466c24d4145b227311a8f1462dd7940d82e2d55c370645cf9541.css	18000	log stats plain
d---------	categories	106	log stats plain
d---------	coq-style-guide	38	log stats plain
d---------	docs	151	log stats plain
-rw-r--r--	en.search-data.min.db967840e46b1744e8ea5911a8b316229481ddd955ae9497d3ef232b1590c47d.js	14993	log stats plain
-rw-r--r--	en.search.min.d59155e62a5c5b4ff8f90845580f2225b938da2b1506af250727aadcdc5122f1.js	1651	log stats plain
-rw-r--r--	favicon.png	109	log stats plain
-rw-r--r--	favicon.svg	185	log stats plain
-rw-r--r--	flexsearch.min.js	17812	log stats plain
d---------	fonts	668	log stats plain
d---------	images	38	log stats plain
-rw-r--r--	index.html	4500	log stats plain
-rw-r--r--	index.xml	2737	log stats plain
d---------	katex	159	log stats plain
-rw-r--r--	manifest.json	261	log stats plain
-rw-r--r--	mermaid.min.js	1089630	log stats plain
-rw-r--r--	sitemap.xml	618	log stats plain
d---------	svg	188	log stats plain
d---------	tags	106	log stats plain