On Sun, Mar 19, 2023 at 02:28:41PM -0400, Richard Kimberly Heck wrote:
Somehow, I had completely missed that this exists. It's super useful!
Is it ok to add things, like:
EE f \forall
EE x \exists
that I'd find useful? Or is there some scheme here such that I should
ask about such
Somehow, I had completely missed that this exists. It's super useful! Is
it ok to add things, like:
EE f \forall
EE x \exists
that I'd find useful? Or is there some scheme here such that I should
ask about such things first?
Riki
On 3/19/23 04:43, Enrico Forestieri wrote:
comm
