Skip to content

Propositions as a cumulative large set #1850

Open
Open
Propositions as a cumulative large set#1850
Labels
foundationrefactoring
@lowasser

Description

@lowasser
lowasser
opened on Feb 18, 2026

Most or all operations (conjunction etc.) are similarity-preserving.

Metadata

Metadata

Assignees

No one assigned

    Labels

    foundationrefactoring

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions