Skip to content

feat: implementation for formal modal languages#7

Merged
nathanorm merged 5 commits into
masterfrom
feat/formal-modal-language
Apr 9, 2026
Merged

feat: implementation for formal modal languages#7
nathanorm merged 5 commits into
masterfrom
feat/formal-modal-language

chore: udpate readme with changes

4ae5f18
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Run test suite
succeeded Apr 9, 2026 in 18s