A critical look at Lean4
https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at-lean4-1
nono2357 / Renaud Lifchitz
npub1re…qaw97
2026-10-10 22:59:07 UTC
Author Public Key
npub1renaud65zug8r570ndztde2xhk206z3v50a5mwa3kp2xshy3zmjqkqaw97Seen on
wss://relay.damus.io