Giters

juda / dissertation-artifacts

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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"

License:GNU General Public License v3.0

Languages

Language:Coq 98.4%Language:Makefile 1.6%