irradiatedMB to TechNews · 1 year ago[HN] Lean 4.0github.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-link[HN] Lean 4.0github.comirradiatedMB to TechNews · 1 year agomessage-square0fedilinkfile-text