GitHub - t6s/zfc-ssreflect: ssreflect library

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
boolean_completeness		boolean_completeness
kripke_completeness		kripke_completeness
.gitignore		.gitignore
nat01.v		nat01.v
ssr001.v		ssr001.v
ssrFOL01.v		ssrFOL01.v
ssrZFC001.v		ssrZFC001.v

About

ssreflect library

Report repository

Releases

No releases published

Packages

Languages

Coq 59.4%
HTML 40.4%
Makefile 0.2%