Name		Name	Last commit message	Last commit date
Latest commit History 100 Commits
.github		.github
extra		extra
theories		theories
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
_CoqProject		_CoqProject
annex.txt		annex.txt
coq-sgdt.opam		coq-sgdt.opam
coq-sgdt.opam.locked		coq-sgdt.opam.locked

Repository files navigation

coq-synthetic-guarded-domain-theory

About

www.jonmsterling.com/coq-sgdt

Apache-2.0 license

Report repository

Releases

No releases published

Sponsor this project

Packages

No packages published

Contributors 2

Languages