pith. sign in

Title resolution pending

Bonichon, Richard, Delahaye, David, Doligez, Damien , editor = · DOI 10.1007/978-3-540-75560-9_13

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

1 Pith paper citing it
open at publisher 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

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.

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

    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.