Exploring a Lean proof for a minimal sufficient framework of self-referential elements.
Lean Updated 10 days ago 1 commits
quark-coder|Mirror: xiongweilin/distinction-self-reference-lean (⭐0)
10 days agoAbout
Exploring a Lean proof for a minimal sufficient framework of self-referential elements.
Readme