search

FormalizedFormalLogic / Foundation

Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84 stars 5 forks source link

Rename formula variables #150

Closed iehality closed 3 weeks ago

iehality commented 3 weeks ago

resolve #148

iehality commented 3 weeks ago

おそらく全て書き換えたと思う．okだったらマージします．

SnO2WMaN commented 3 weeks ago

サッと目を通した感じとCIが通っているならおそらくOKだと思う．

SnO2WMaN commented 3 weeks ago

今少し気付いたのはinductionの中の定義などの書き換えを忘れているケースがあるが，まあそれはおいおい直しておくということで…