FormalizedFormalLogic / Foundation

Lean4 Logic Formalization

https://formalizedformallogic.github.io/Summary/

Apache License 2.0

84 stars 5 forks source link

refactor: Change Logical Notations #136

Closed SnO2WMaN closed 2 months ago

SnO2WMaN commented 2 months ago

about #134

close #133

SnO2WMaN commented 2 months ago

134 の2.は少し修正が必要な気がするので別のPRでやることにする．2.以外は #136 で上記の記号を採用して修正した。OKならマージする。