conftrace_

regular open set

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

topological space (1) type theory (1) geometric reasoning (1) formal verification (1)

Papers

A Topological Rewriting of Tarski’s Mereogeometry AAAI 2026