bluesky — Simon Johnson🇺🇦 — 16 Sep 2026
#proof-theory
Read the source →
"A proof is not a solver" bsky.app/profile/larg...