Skip to content

chore: udpate readme with changes

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

feat: implementation for formal modal languages #7

chore: udpate readme with changes
4ae5f18
Select commit
Loading
Failed to load commit list.

Annotations

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