dschepler / coq-topology

Topology library for Coq
11Updated 8 years ago

Related projects

Alternatives and complementary repositories for coq-topology