RSS BotMB to Lobste.rsEnglish · 2 days agoPractical Alloy: A hands-on guide to formal software designpracticalalloy.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkPractical Alloy: A hands-on guide to formal software designpracticalalloy.github.ioRSS BotMB to Lobste.rsEnglish · 2 days agomessage-square0fedilinkfile-text
