Skip to content

feat: endow Simplicity with the Scott-Hausdorff topology - #417

Open
vihdzp wants to merge 60 commits into
masterfrom
topology
Open

feat: endow Simplicity with the Scott-Hausdorff topology#417
vihdzp wants to merge 60 commits into
masterfrom
topology

Commits

Commits on Feb 20, 2026

  • progress

    vihdzpvihdzp
    committed
    b2a6ee5

Commits on Mar 18, 2026

Commits on Mar 24, 2026

Commits on Mar 26, 2026

Commits on Mar 27, 2026

Commits on Mar 28, 2026

Commits on Mar 29, 2026

  • finish

    vihdzpvihdzp
    committed
    48ef88b

Commits on Mar 31, 2026

Commits on May 27, 2026

Commits on May 28, 2026

  • fix

    vihdzpvihdzp
    committed
    0957eb4

  • fix

    vihdzpvihdzp
    committed
    a9a6683

Commits on Jun 9, 2026

Commits on Jun 10, 2026

Commits on Jul 24, 2026

Commits on Aug 5, 2026

Commits on Aug 19, 2026