Hire Freelancers

prove using isabelle proof assistant - -- 2

$30-250 AUD

Cancelled

Posted

over 6 years ago

$30-250 AUD

Paid on delivery

requirement (knowledge in): Functional programming First-order formal logic and solve in isabelle problem solver further info in chat

Project ID: 15189016

About the project

4 proposals

Remote project

Active 7 yrs ago

Looking to make some money?

Email address

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

4 freelancers are bidding on average $193 AUD for this job

@utkarshkatiyar19

i can learn isabelle and do it. have knowledge about first order logic though. Relevant Skills and Experience algorithm Proposed Milestones $160 AUD - all

$160 AUD in 3 days

4.9

(239 reviews)

6.9

6.9

Flag of UNITED STATES

Prove as yet specified theorem with Isabelle. Relevant Skills and Experience I haven't ever used Isabelle, however I have done a bit of formal logic and have worked with numerous functional programming languages, including Idris (in which proofs play a large role). Proposed Milestones $250 AUD - the proof

$250 AUD in 7 days

5.0

(2 reviews)

4.2

4.2

Post a project like this

About the client

Flag of AUSTRALIA

Sydney, Australia

4.7

2

Payment method verified

Member since Feb 28, 2016

Client Verification

Other jobs from this client

prove using isabelle problem solver -- 2

prove using isabelle proof assistant.

prove using isabelle problem solver .

Euclidean Vector Class Library in c++ 14

prove using isabelle problem solver

Similar jobs

C++ Developer for Source Code Upgrade

Implement Levenberg-Marquardt Algorithm for Prediction

₹100-400 INR / hour

Python Programmer to update & Automate the Trade

₹600-1500 INR

Multi-Camera AR Guidance App

$65-115 HKD / hour

Tensorflow ML Model Design & Training

₹12500-37500 INR

C Programmer Needed for Adding New Features

Automata -Computer science Project

Math Teacher for Kid

₹12500-37500 INR

Accuracy Improvement of Existing ML Model

₹1500-12500 INR

Networking and Programming,(Electronics and Electrical Engineer)..

Networking and Programming..(Electronics and Electrical Engineer)

Java Android Open Source LSL Library Project Setup and Compile

Networking and Programming (Electronics and Electrical Engineer)..

Custom Tradingview Indicator and Liquidity Table Script

V2G & G2V MATLAB Simulation

High-Frequency Stock Trading Algorithm -- 2

₹600-1500 INR

C++ Developer for Source Code Upgrade

Networking and Programming. (Electronics and Electrical Engineer)

Python Developer to automate trading application -- 2

₹600-1500 INR

Post a project like this

Thanks! We’ve emailed you a link to claim your free credit.

Something went wrong while sending your email. Please try again.

Loading preview

Permission granted for Geolocation.

Your login session has expired and you have been logged out. Please log in again.