Name		Name	Last commit message	Last commit date
coq_fsub		coq_fsub
coq_intersection		coq_intersection
coq_merge		coq_merge
coq_record		coq_record
coq_theory		coq_theory
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

dissertation-artifacts

The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"

About

The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"

GPL-3.0 license

3 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages