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.a4d6f3160019c50a1674877d2ccd95fce25e9106249985d3c32868cd7e574c28.css	17994	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.0a61691082ac9c4738aec75f1ab29f6a936a08692e581956001bb622e599d262.js	14976	log stats plain
-rw-r--r--	en.search.min.0954d4b2fc6bff27e6f999bbc5c4fd9011adb3be3811a6642db8ce343b98ef63.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	4483	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