linux
manpag.es
Search
A–Z
Sections
Topics
Packages
Mona
mona(1)
a decision procedure for the logics WS1S and WS2S