GitHub - emarzion/cantor: constructive formalization of cantor's theorem about dense linear orders without endpoints

emarzion / cantor Public

constructive formalization of cantor's theorem about dense linear orders without endpoints

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
Cantor.v		Cantor.v
Class.v		Class.v
Extract.v		Extract.v
Instances.v		Instances.v
Qcountable.v		Qcountable.v
Util.v		Util.v
_CoqProject		_CoqProject
main.hs		main.hs

About

constructive formalization of cantor's theorem about dense linear orders without endpoints

No releases published

No packages published