armchair_progamer@programming.dev to Formal Methods@programming.dev • 1 year 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 • 1 year agomessage-square0 Commentsfedilink