@armchair_progamer to Formal Methods • 1 year agoLean/Coq/Isabel and Their Proof Treeslakesare.brick.domessage-square0arrow-up15arrow-down10
arrow-up15arrow-down1external-linkLean/Coq/Isabel and Their Proof Treeslakesare.brick.do@armchair_progamer to Formal Methods • 1 year agomessage-square0