8000 Multipointed Models and Structures for K · Issue #45 · jrclogic/SMCDEL · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Multipointed Models and Structures for K #45
New issue
New issue
Open
Open
Multipointed Models and Structures for K#45
Labels
enhancement
Milestone
 
1.4.0
@m4lvin

Description

@m4lvin
m4lvin
opened on Apr 18, 2024

Continuing #8 for K here.

K

  • blsToKripkeMulti
  • kripkeToBlsMulti
  • actionToEventMulti
  • eventToActionMulti

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0