search

JetBrains / arend-lib

Apache License 2.0
79 stars 23 forks source link

Is this a typo? #66

Closed ice1000 closed 3 weeks ago

ice1000 commented 5 months ago

https://github.com/JetBrains/arend-lib/blob/d37974021d69917ef04f034c954a801e0de64223/src/Logic/Classical.ard#L26

lmfao