lambda tamer

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: