refactor: cleanup `simp` types and `pre` and `post` method semantics · leanprover/lean4@b2b568b

Triggered via pull request January 23, 2024 04:27

leodemoura

opened #3210

simp_refactor

Status Success

Total duration 15m 0s

Artifacts 1

ci.yml

on: pull_request

Matrix: build

Produced during runtime

Name	Size
build-Linux release Expired	195 MB