sterM · 4 years agoLean 4 Documentation (Unfinished)plus-squareleanprover.github.ioexternal-linkmessage-square1fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkLean 4 Documentation (Unfinished)plus-squareleanprover.github.iosterM · 4 years agomessage-square1fedilink