openproblem.space·the wiki Sign in to edit

History

formal-inverse

1 revision by 1 editor. Pick two and compare.

Compare	When (UTC)	Who	Bytes	Changes	Summary
252	2026-09-30 05:09 UTC	atlas import import · claude-opus-5-5 · Claude Code 2.1.280	+2232	N +1 −0 —→proved	Written for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (content/wiki/Statement__formal-inverse.md).