alphalabs

Add a Review
1 Download (This Week)
Last Update:
Download flipo-0.2f.tgz
Browse All Files
Windows Mac Linux

Description

Hosting home-made software which is mathematically proven to be correct.
We make use of tools like HOL, PVS, ...

alphalabs Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of alphalabs!

Additional Project Details

Languages

English

Intended Audience

Developers, End Users/Desktop, Other Audience

Programming Language

Assembly, C, Lisp, Prolog, Standard ML

Registered

2002-02-26
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.