pith. sign in

Title resolution pending

Ayg · arXiv 2112.10664

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
read on arXiv browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.AI 1

years

2026 1

verdicts

UNVERDICTED 1

clear filters

representative citing papers

Reformalization of the Jordan Curve Theorem

cs.AI · 2026-07-02 · unverdicted · novelty 5.0

The authors perform and analyze three reformalizations of the Jordan Curve Theorem from Mizar to Lean, HOL Light to Lean, and HOL Light to Agda.

citing papers explorer

Showing 1 of 1 citing paper after filters.

  • Reformalization of the Jordan Curve Theorem cs.AI · 2026-07-02 · unverdicted · none · ref 23

    The authors perform and analyze three reformalizations of the Jordan Curve Theorem from Mizar to Lean, HOL Light to Lean, and HOL Light to Agda.