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