windows9download

You Here : Home > Linux

Lambda Tamer prealpha

OS Support:

All POSIX (Linux/BSD/UNIX-like OSes)


Publisher

Old version

Update:

July 23 2011

Download:

Lambda Tamer prealpha


Description

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


Related Downloads


Software Tags

Lambda Tamer Prealpha

Size : 120.0 KB

Next/Pre