GitHub - wli-linda/tao_tcpa: Formalizing things from "Analysis I" in the Coq Proof Assistant

wli-linda / tao_tcpa Public

Formalizing things from "Analysis I" in the Coq Proof Assistant

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
integers.v		integers.v
isomorphism.v		isomorphism.v
sint.v		sint.v

About

Formalizing things from "Analysis I" in the Coq Proof Assistant