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

v10.1.0.tar.gz
sha512=6c780574cc8d71a1be49748d087754123a16f712726b48e857f9c2d002d03fc21ce63074929927852b380499590193ee076a573d5d2167736805f9765e5390df

Description

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

Tags

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

Published: 18 Aug 2023

Dependencies (2)

  1. coq-zorns-lemma = version
  2. dune >= "2.5"

Dev Dependencies (1)

  1. coq (>= "8.12" & < "8.19~") | (= "dev")

Used by

None

Conflicts

None