Back to papers
June 8, 2026cs.AIcs.LOmath.CO

(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs

Categories

cs.AI, cs.LO, math.CO