MONA(1) - Linux manual page online | User commands
A decision procedure for the logics WS1S and WS2S.
Chapters
MARCH 2016
Loading manual page ...