Mirror of the public version of the Software Foundations textbooks

Mainly for CI.

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
.circleci		.circleci
common		common
lf-current		lf-current
plf-current		plf-current
qc-current		qc-current
secf-current		secf-current
slf-current		slf-current
vc-current		vc-current
vfa-current		vfa-current
.gitignore		.gitignore
README.md		README.md
coq-sf-lf.opam		coq-sf-lf.opam
coq-sf-plf.opam		coq-sf-plf.opam
coq-sf-qc.opam		coq-sf-qc.opam
coq-sf-secf.opam		coq-sf-secf.opam
coq-sf-slf.opam		coq-sf-slf.opam
coq-sf-vc.opam		coq-sf-vc.opam
coq-sf-vfa.opam		coq-sf-vfa.opam
index.html		index.html

Provide feedback