search

opencompl / lean-mlir

A minimal development of SSA theory
Other
88 stars 10 forks source link

chore: update mathlib #683

Closed luisacicolini closed 3 weeks ago

github-actions[bot] commented 3 weeks ago

Alive Statistics: 76 / 93 (17 failed)

luisacicolini commented 3 weeks ago

thanks a lot for the help @tobiasgrosser !! :)

tobiasgrosser commented 3 weeks ago

thanks a lot for the help @tobiasgrosser !! :)

Thank you for the update. A small trick I used here. I have the old and the new code in separate vs code windows and then compare the proof-state line-by-line. This did not make it trivial, but it certainly helped.

luisacicolini commented 3 weeks ago

got it! I shall try it like that next time