armchair_progamer@programming.dev to Formal Methods@programming.dev • 9 months agoLean/Coq/Isabel and Their Proof Treesexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkLean/Coq/Isabel and Their Proof Treesarmchair_progamer@programming.dev to Formal Methods@programming.dev • 9 months agomessage-square0 Commentsfedilink