woff2 « fonts « docs - vericert - Vericert is a formally verified high-level synthesis tool.

Mode	Name	Size
-rw-r--r--	iosevka-bold.woff2	115784	log stats plain
-rw-r--r--	iosevka-bolditalic.woff2	128152	log stats plain
-rw-r--r--	iosevka-boldoblique.woff2	127484	log stats plain
-rw-r--r--	iosevka-extrabold.woff2	115808	log stats plain
-rw-r--r--	iosevka-extrabolditalic.woff2	127720	log stats plain
-rw-r--r--	iosevka-extraboldoblique.woff2	126960	log stats plain
-rw-r--r--	iosevka-extralight.woff2	112164	log stats plain
-rw-r--r--	iosevka-extralightitalic.woff2	124388	log stats plain
-rw-r--r--	iosevka-extralightoblique.woff2	123848	log stats plain
-rw-r--r--	iosevka-heavy.woff2	115528	log stats plain
-rw-r--r--	iosevka-heavyitalic.woff2	127828	log stats plain
-rw-r--r--	iosevka-heavyoblique.woff2	126804	log stats plain
-rw-r--r--	iosevka-italic.woff2	126684	log stats plain
-rw-r--r--	iosevka-light.woff2	113692	log stats plain
-rw-r--r--	iosevka-lightitalic.woff2	125936	log stats plain
-rw-r--r--	iosevka-lightoblique.woff2	125472	log stats plain
-rw-r--r--	iosevka-medium.woff2	114904	log stats plain
-rw-r--r--	iosevka-mediumitalic.woff2	127672	log stats plain
-rw-r--r--	iosevka-mediumoblique.woff2	126544	log stats plain
-rw-r--r--	iosevka-oblique.woff2	126036	log stats plain
-rw-r--r--	iosevka-regular.woff2	114960	log stats plain
-rw-r--r--	iosevka-semibold.woff2	115408	log stats plain
-rw-r--r--	iosevka-semibolditalic.woff2	127480	log stats plain
-rw-r--r--	iosevka-semiboldoblique.woff2	126716	log stats plain
-rw-r--r--	iosevka-thin.woff2	110944	log stats plain
-rw-r--r--	iosevka-thinitalic.woff2	123228	log stats plain
-rw-r--r--	iosevka-thinoblique.woff2	122768	log stats plain