lambda tamer online with Winfy

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

Quick description about lambda tamer:

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant.

Audience: Developers, Science/Research.

Programming Language: OCaml (Objective Caml).
Categories: