juda / dissertation-artifacts Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

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

GPL-3.0 license

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
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

Report repository

Releases

No releases published

Packages

No packages published

Languages