6 keywords3 dependents2 versionsdiscretemathquantifierslogicpredicateproposition@infinitebrahmanuniverse/nolb-discr@everything-registry/sub-chunk-1486@zalastax/nolb-discr1.0.13 years ago1.0.03 years ago