vericert-docs - Documentation for Vericert.

Mode	Name	Size
-rw-r--r--	.nojekyll	0	log stats plain
-rw-r--r--	404.html	1118	log stats plain
-rw-r--r--	CNAME	18	log stats plain
-rw-r--r--	book.min.b07e338e07a9a926c141d155a3e6d06d0c41e4afe4d81564015c56799705b0ca.css	18394	log stats plain
d---------	categories	106	log stats plain
d---------	coq-style-guide	38	log stats plain
d---------	docs	188	log stats plain
-rw-r--r--	en.search-data.min.aeff076d6e9b0b384920d3b30200e418907084a5cba80b98fd2d92b4f054a984.js	16236	log stats plain
-rw-r--r--	en.search.min.09c4470fdacb71a68922c07311d906b9cd808586067883b11db52f10e30e96d4.js	1651	log stats plain
-rw-r--r--	favicon.png	3664	log stats plain
-rw-r--r--	favicon.svg	3274	log stats plain
-rw-r--r--	flexsearch.min.js	17812	log stats plain
d---------	fonts	668	log stats plain
d---------	future	38	log stats plain
d---------	images	38	log stats plain
-rw-r--r--	index.html	5352	log stats plain
-rw-r--r--	index.xml	3978	log stats plain
d---------	katex	159	log stats plain
-rw-r--r--	manifest.json	245	log stats plain
-rw-r--r--	mermaid.min.js	1089630	log stats plain
d---------	papers	94	log stats plain
-rw-r--r--	sitemap.xml	737	log stats plain
d---------	svg	188	log stats plain
d---------	tags	106	log stats plain
-rw-r--r--	vericert-main.svg	69023	log stats plain
-rw-r--r--	vericert-white.svg	24757	log stats plain