package coq-topology

  1. Overview
  2. No Docs
General Topology in Coq

Install

Dune Dependency

github.com Edit opam file Versions (11)

Authors

  1. D
    Daniel Schepler

Maintainers

  1. P
    palmskog@gmail.com

Sources

v8.12.0.tar.gz
sha512=88fb3b9ad75e3cceb78e248044cd3ccc36003437aacfe3ac240dd7405d830461ef244cc79cbdb988178ed3f98b7030a148aa9474d0d43e43a0e0be5772359e21

Description

This library develops some of the basic concepts and results of general topology in Coq.

Tags

category:Mathematics/Real Calculus and Topology keyword:topology keyword:filters keyword:nets keyword:metric spaces keyword:real analysis keyword:Urysohn's lemma keyword:Tietze extension theorem logpath:Topology

Published: 01 Dec 2020

Dependencies (2)

  1. coq-zorns-lemma >= "8.11" & < "8.13~"
  2. coq >= "8.11" & < "8.13~"

Dev Dependencies

None

Used by

None

Conflicts

None