8000 Similarity between logic notation and partial orders · Issue #34 · kai-qu/notation · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Similarity between logic notation and partial orders #34
New issue
New issue
Open
Open
Similarity between logic notation and partial orders#34
@tannerlegvold

Description

@tannerlegvold
tannerlegvold
opened on Mar 12, 2024

I especially like comma being a commutative operator https://www.youtube.com/watch?v=niqqm1DRTkE

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0