GitHub - sunchao/nonnull-type: Proof for a simple non-null type system, by piggy-packing to fractional-permission type system.

sunchao / nonnull-type Public

Proof for a simple non-null type system, by piggy-packing to fractional-permission type system.

Name		Name	Last commit message	Last commit date
Latest commit History 72 Commits
Makefile		Makefile
clsmap-base.elf		clsmap-base.elf
clsmap.cpp		clsmap.cpp
clsmap2predmap-thms.elf		clsmap2predmap-thms.elf
clsmap2predmap.elf		clsmap2predmap.elf
consistency-thms.elf		consistency-thms.elf
consistency.elf		consistency.elf
conversion-lemmas.elf		conversion-lemmas.elf
conversion-thms.elf		conversion-thms.elf
conversion.elf		conversion.elf
fldmap-base.elf		fldmap-base.elf
fldmap.cpp		fldmap.cpp
methmap-base.elf		methmap-base.elf
methmap.cpp		methmap.cpp
nonnull.elf		nonnull.elf
predmap-base.elf		predmap-base.elf
predmap.cpp		predmap.cpp
sources.cfg		sources.cfg
subtype.elf		subtype.elf
typing.elf		typing.elf

Provide feedback