SemanticSubtyping. A proof of the semantic subtyping relation from an academic paper.

github.com/DavePearce/SemanticSubtyping

Problem

Audience

Updates

No founder updates yet. Check back soon.