Search results

SubspaceTopology Coercion

Status: Open.

#37 In rocq-community/topology;

· Columbus240 opened on Feb 6, 2022

Characterize RTop and its subspaces

enhancement

Status: Open.

#35 In rocq-community/topology;

· Columbus240 opened on Aug 21, 2021

Issue creating simple topological space

Status: Open.

#32 In rocq-community/topology;

· siraben opened on Jul 31, 2021

Add manifolds and smooth manifolds

enhancement

Status: Open.

#29 In rocq-community/topology;

· siraben opened on May 24, 2021

Abstract away facts about "closed under finitary union/intersection"

Status: Open.

#27 In rocq-community/topology;

· Columbus240 opened on Feb 6, 2021

Give specific examples

Status: Open.

#25 In rocq-community/topology;

· stop-cran opened on Jan 8, 2021

Long line & ordinals

Status: Open.

#22 In rocq-community/topology;

· Columbus240 opened on Jan 6, 2021

Create coding style

Status: Open.

#19 In rocq-community/topology;

· stop-cran opened on Dec 22, 2020

Fix the compilation warnings

Status: Open.

#17 In rocq-community/topology;

· Columbus240 opened on Dec 21, 2020