armchair_progamer@programming.dev to Formal Methods@programming.dev · 1 year agoLean/Coq/Isabel and Their Proof Treeslakesare.brick.doexternal-linkmessage-square0fedilinkarrow-up13
arrow-up13external-linkLean/Coq/Isabel and Their Proof Treeslakesare.brick.doarmchair_progamer@programming.dev to Formal Methods@programming.dev · 1 year agomessage-square0fedilink