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
$300 in Free Credit Towards Top Cloud Services Icon
$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
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
Report inappropriate content