armchair_progamer@programming.dev to Formal Methods@programming.dev · 1 year agoLean/Coq/Isabel and Their Proof Treeslakesare.brick.doexternal-linkmessage-square0fedilinkarrow-up11arrow-down10cross-posted to: [email protected]
arrow-up11arrow-down1external-linkLean/Coq/Isabel and Their Proof Treeslakesare.brick.doarmchair_progamer@programming.dev to Formal Methods@programming.dev · 1 year agomessage-square0fedilinkcross-posted to: [email protected]
