Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
emacs_Stuff		emacs_Stuff
tptp		tptp
README.md		README.md
colimit.het		colimit.het
colimit_Spec.tptp		colimit_Spec.tptp
colimit_softFOL1.het		colimit_softFOL1.het
hets		hets
lemmas.dol		lemmas.dol
lemmas_Gen.tptp		lemmas_Gen.tptp
lemmas_GenNatSuc.tptp		lemmas_GenNatSuc.tptp
lemmas_List.tptp		lemmas_List.tptp
lemmas_NatSuc.tptp		lemmas_NatSuc.tptp
lemmas_colimit.tptp		lemmas_colimit.tptp
lemmas_colimit_consistent.tptp		lemmas_colimit_consistent.tptp
lemmas_gn_n4.tptp		lemmas_gn_n4.tptp
lemmas_gn_n6.tptp		lemmas_gn_n6.tptp
lemmas_nats.dol		lemmas_nats.dol
llist_nats.dol		llist_nats.dol

Repository files navigation

Reformation

Reformation and Blending

Reformation and Blending

0 stars

1 watching

No releases published