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

Topics:

Compilers, Mathematics, Frameworks

License:

BSD License

Ratings and Reviews

Be the first to post a text review of Lambda Tamer. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Rate and Review

Be the first person to add a text review.

Would you recommend this project?





<

Related Projects

Lambda Tamer Actions

About SourceForge

Find Software

Develop Software

Community

Help

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

Thanks for your rating!

Would you also like to write a review?





Skip Review