RSS BotMB to Lobste.rsEnglish · 20 days agoYalep - Micro language based on Lean for teaching mathematical high-school proofsgricad-gitlab.univ-grenoble-alpes.frexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkYalep - Micro language based on Lean for teaching mathematical high-school proofsgricad-gitlab.univ-grenoble-alpes.frRSS BotMB to Lobste.rsEnglish · 20 days agomessage-square0fedilinkfile-text
