arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Is this a typo?

Open ice1000 opened this issue 10 months ago • 0 comments

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

lmfao

ice1000 avatar May 01 '24 23:05 ice1000