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