PyPI recent updates for selector-complexity https://pypi.org/project/selector-complexity/ Recent updates to the Python Package Index for selector-complexity en 0.6.1 https://pypi.org/project/selector-complexity/0.6.1/ Selector Complexity Framework: classifying tautologies by selector cost in IPS (Ideal Proof Systems). Proves SC(0) ⊊ SC(1) ⊊ SC(2) ⊊ SC(3). caresment@gmail.com Tue, 31 Mar 2026 20:53:08 GMT 0.6.0 https://pypi.org/project/selector-complexity/0.6.0/ Selector Complexity Framework: classifying tautologies by selector cost in IPS (Ideal Proof Systems). Proves SC(0) ⊊ SC(1) ⊊ SC(2) ⊊ SC(3). carmen@research.dev Sun, 29 Mar 2026 11:45:11 GMT