irradiated@radiation.partyMB to TechNews@radiation.party · 1 year ago[HN] Lean 4.0github.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-textcross-posted to: hackernews@lemmy.smeargle.fans
arrow-up11arrow-down1external-link[HN] Lean 4.0github.comirradiated@radiation.partyMB to TechNews@radiation.party · 1 year agomessage-square0fedilinkfile-textcross-posted to: hackernews@lemmy.smeargle.fans