📦 mona

1 page

M

  • mona(1)a decision procedure for the logics WS1S and WS2S✨