[X] The "/OldFiles" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

Share

More
Lambda Tamer Icon

Lambda Tamer

prealpha

by adamch

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

Download Now! ltamer-20091106.tgz (120.0 KB) OR View all files

http://ltamer.sourceforge.net





Separate each tag with a space.

Release Date:

2009-11-06

Topic:

Compilers, Mathematics, Frameworks

Operating System:

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

License:

BSD License

Intended Audience:

Developers, Science/Research

Programming Language:

OCaml (Objective Caml)

Registered:

2006-08-23

Ratings and Reviews

  • Thumbs up:
    0
  • Thumbs down:
    1
0% of 1 user recommends this project
  • Thumbs down

    How to compile it with GCC ?

    posted by anonymous 20 days ago
    If you'd like to rate this review, please log in.

View all reviews

Project Feed

Rate and Review

Would you recommend this project?





<

Related Projects

Lambda Tamer Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks