alphalabs

We have hosted the application alphalabs in order to run this application in our online workstations with Wine or directly.

Quick description about alphalabs:

Hosting home-made software which is mathematically proven to be correct.
We make use of tools like HOL, PVS, .

Audience: Developers, End Users/Desktop, Other Audience.

Programming Language: Assembly, C, Lisp, Prolog, Standard ML.
Categories: