GitHub - jmaessen/bdd-subtyping: BDD-based subtyping proof of concept

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.gitignore		.gitignore
BDD.hs		BDD.hs
BDD_basic.thy		BDD_basic.thy
BDD_dedup.thy		BDD_dedup.thy
BDD_intersect.thy		BDD_intersect.thy
BDD_not.thy		BDD_not.thy
BDD_select.thy		BDD_select.thy
BDD_simplify.thy		BDD_simplify.thy
BDD_subtype_correctness.thy		BDD_subtype_correctness.thy
BDD_subtype_defs.thy		BDD_subtype_defs.thy
BDD_union.thy		BDD_union.thy
BDD_uniqueness.thy		BDD_uniqueness.thy
IBDD_basic.thy		IBDD_basic.thy