Simple programs I am writing with dirty proofs in Coq.

Project Activity

See All Activity >

Follow simple_program_extractioning

simple_program_extractioning Web Site

Other Useful Business Software
Build Data Resilience - Take the Assessment Today Icon
Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
Take the Assessment
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of simple_program_extractioning!

Additional Project Details

Registered

2013-01-30
Report inappropriate content