lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

chore: Update to 4.11.0

Open SnO2WMaN opened this issue 6 months ago • 0 comments

  • variable周りの挙動が変わっているが、どう変わったのかがRelease noteに見当たらなかったのでそれなりに大変な書き換えが必要な可能性がある

close #116

SnO2WMaN avatar Aug 27 '24 04:08 SnO2WMaN