Module modal
catlog
0.1.0
Module modal
Module Items
Modules
In catlog::
dbl
catlog
::
dbl
Module
modal
Copy item path
Source
Expand description
Doctrine of modal double theories.
Modules
ยง
model
Models of modal double theories.
theory
Modal double theories.