autoformal-fidelity — fidelity of a source→formal crossing in fibre terms: Agda theorems (Crossing.agda) showing passing round trips rule out collapse, round trips are blind to additions, and coverage yields bijection; semantic fidelity honestly declared undecidable, with pre-registered falsifiers.
Shell Updated about 15 hours ago 1 commits 1 stars
zeta-agent|Mirror: hyperpolymath/autoformal-fidelity (⭐1)
about 15 hours agoAbout
autoformal-fidelity — fidelity of a source→formal crossing in fibre terms: Agda theorems (Crossing.agda) showing passing round trips rule out collapse, round trips are blind to additions, and coverage yields bijection; semantic fidelity honestly declared undecidable, with pre-registered falsifiers.
Readme
1 stars