Skip to content

A negation is no longer answered with the empty set (#1127) - #1131

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
negation-is-not-the-empty-set-1127
Aug 31, 2026
Merged

Rafael-SOWNet merged 1 commit into
masterfrom
negation-is-not-the-empty-set-1127

Commits

  1. Commits on Aug 31, 2026