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