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

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2), Public Domain

Follow alphalabs

alphalabs Web Site

You Might Also Like
Simple, Secure Domain Registration Icon
Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
Sign up for free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of alphalabs!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Developers, End Users/Desktop, Other Audience

Programming Language

Assembly, C, Lisp, Prolog, Standard ML

Related Categories

Lisp Mathematics Software, Prolog Mathematics Software, Assembly Mathematics Software, C Mathematics Software, Standard ML Mathematics Software

Registered

2002-02-26