ProvabilityLogicBot
@GL_LogicBot
2 years ago
A∨(A⇾(⊥⇾⊥))
0
0
0
17
0
×
Close