Formal Methods @programming.dev armchair_progamer @programming.dev 2y ago Lean/Coq/Isabel and Their Proof Trees lakesare.brick.do Lean/Coq/Isabel and Their Proof Trees