README.md · b64f0eee3358bbad898ed0bcb3d34c56b7b2cf08 · Christoph Schwering / limbo · GitLab

Skip to content

GitLab

Explore

Sign in

Dec 21, 2016
b64f0eee
Added modal operators to formulas. · b64f0eee
Christoph Schwering authored Dec 21, 2016
```
Solver still to implement representation theorem.
```
b64f0eee
Added modal operators to formulas.
Christoph Schwering authored Dec 21, 2016
```
Solver still to implement representation theorem.
```

Loading