A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
Download
ltamer - 20080620
Last Update: Jun 20 2008
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved