toss to run in windows online over linux online

We have hosted the application toss to run in windows online over linux online in order to run this application in our online workstations with Wine or directly.

Quick description about toss to run in windows online over linux online:

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then,
on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

Audience: Education, Science/Research.
User interface: Web-based.
Programming Language: JavaScript, OCaml (Objective Caml).
Database Environment: SQLite.
.