2 ms·Coq uses this notation for (propositional) and and or.by ocfnash 6y agoCoq uses this notation for (propositional) and and or.deleted 6y ago[deleted]