A library and software to formally prove mathematical problems. This provides math. with certain proof of a concept. The goal is to solve as much problems formally with the input of the public.

Project Activity

See All Activity >

Follow Formal Proven Library

Formal Proven Library Web Site

Other Useful Business Software
AlertBot: Website Monitoring of Uptime, Performance, and Errors Icon
AlertBot: Website Monitoring of Uptime, Performance, and Errors

For IT Professionals and network adminstrators looking for a web application monitoring solution

AlertBot monitors your website's full functionality around the clock so you can focus your time on more important things.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Formal Proven Library!

Additional Project Details

Registered

2006-02-06