Find Jobs
Hire Freelancers

Create a project in Coq interactive theorem prover

$30-250 USD

Completed
Posted over 8 years ago

$30-250 USD

Paid on delivery
For the project option. The requirements are: 1. Identify some non-trivial theorem or sets of theorems that aren't from SF or proven in Coq by someone else. 2. Formalize it in Coq along with any associated definitions. 3. Prove your theorem to Coq's satisfaction. 4. Write a short report (a page or two is fine) describing the significance of your theorem/definitions and any interesting technical issues you ran into in formalize your definitions, theorems, or proofs in Coq. 5. A short presentation (~ 5-10 minutes) during the course's final exam period. - If the project consists of one theorem that can be proven with "eauto; solve by inversion". Then its probably too trivial, i.e. not "non-trivial". - A project might be "interesting" because of the non-PL 'application' of the theorem, the inductive data types that it works with, and/or the proof techniques. My intent isn't to set an extremely high bar here. A quick turn around would be nice along with the document to present for the project. Please don't look at the skill set needed as I was not able to mention what was needed for Coq in there.
Project ID: 8901532

About the project

1 proposal
Remote project
Active 8 yrs ago

Looking to make some money?

Benefits of bidding on Freelancer

Set your budget and timeframe
Get paid for your work
Outline your proposal
It's free to sign up and bid on jobs
Awarded to:
User Avatar
ITOMQ provide IT Solutions & Training for the following: 1- Microsoft Technology on office desktop(outlook, [login to view URL], powerpoint, access,...). 2- Microsoft Technology on windows server. 3- VMware Technology (vmware esxi,vmware vcenter,...). 4- Linux Systems (redhat, centos, fedora,ubunto,...). 5- Coding using many Programming languages (C, C++, C#, Python, ASP.net, Java, PHP ). 6- Systems Simulation courses. 7- Matlab courses 8- Computer science courses. 9- Security courses. 10- ITIl courses. 11- Network courses(CCNA,network+,...). 12- Adobe CS* (photoshop,indesign,...).
$130 USD in 3 days
5.0 (2 reviews)
2.4
2.4
1 freelancer is bidding on average $130 USD for this job
User Avatar
Thank you for viewing my profile you can check have 5***/5*** also have 100% complete rate you can check happy customer. always trying to get customer satisfaction. I have gone through your project requirement specification and as per my previous experience with this we are capable to do this project. please give a chance to proved our skill. Welcome to one of the best services available for your online needs. We provide you industry standard Mobile Apps, Software, Desktop Apps, Web Stores, Websites and Web Apps. So, you get all at one place! We can provide you the following: - iOS applications - Android applications - Software for all purposes - Desktop applications - Websites - Web applications - Ecommerce websites/ Web stores We specialize in: - Objective C, Cocoa, iOS 4, 5, 6 - Java, Google Android - WordPress, Joomla - WP Ecommerce, Magento - PHP5, PHP, MySQL - C#, C++, C - ActionScript 3.0, AIR, XML Please check reviews of our happy customers to boost your confident about us! Thanks. replay me on pm we need more discussion about your project .
$144 USD in 7 days
5.0 (10 reviews)
1.9
1.9

About the client

Flag of UNITED STATES
San Antonio, United States
5.0
2
Payment method verified
Member since Nov 14, 2015

Client Verification

Thanks! We’ve emailed you a link to claim your free credit.
Something went wrong while sending your email. Please try again.
Registered Users Total Jobs Posted
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Loading preview
Permission granted for Geolocation.
Your login session has expired and you have been logged out. Please log in again.