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