archive of formal proofs to run in windows online over linux online

We have hosted the application archive of formal proofs 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 archive of formal proofs to run in windows online over linux online:

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

Audience: Science/Research.
User interface: X Window System (X11).
Programming Language: OCaml (Objective Caml), Haskell, Standard ML.

.