prove using isabelle problem solver .

$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

Algorithm

Programming

Project ID: 15188520

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 $168 AUD for this job

@polarjin2017

Hi Relevant Skills and Experience I have skills in Algorithm and i am a software. So i can help you if you want me. Proposed Milestones $155 AUD - 1

$155 AUD in 3 days

4.4

(6 reviews)

4.5

@BeautiCG

I believe that my 9+ years of programming experience makes me highly qualified for this project. I believe that I would be an asset to this project. Relevant Skills: Algorithm, Programming,

$155 AUD in 1 day

0.0

(0 reviews)

0.0

Post a project like this

About the client

Sydney, Australia

4.7

Payment method verified

Member since Feb 28, 2016

Client Verification

Other jobs from this client

prove using isabelle proof assistant.

$30-250 AUD

Generic Directed Weighted Graph (GDWG) with value-like semantics in C++.

$30-250 AUD

prove using isabelle problem solver -- 2

$30-250 AUD

prove using isabelle proof assistant - -- 2

$30-250 AUD

prove using isabelle problem solver

$30-250 AUD

Previous job

Next job

Similar jobs

Generative AI Solution

$250-750 USD

Optimize Vehicle Routing With Time Constraint

€30-250 EUR

Advanced Crypto Trading Spreadsheet Creation

$15-25 AUD / hour

High-Frequency Stock Trading Algorithm -- 2

₹600-1500 INR

Vedic Astrology Planetary Positioning in Excel

₹1500-10000 INR

Bespoke Music Streaming Site Creation

£250-750 GBP

Java Android Open Source LSL Library Project Setup and Compile

$250-750 USD

Practical Skill Demonstration Course Project

€30-250 EUR

Calculating recurrent equation and asymptotic complexity for C# Code

€8-30 EUR

Indian Stock Market Expert for Daily Calls

₹1500-12500 INR

Networking and Programming (Electronics and Electrical Engineer)..

$10-30 CAD

Custom Tradingview Indicator and Liquidity Table Script

$750-1500 USD

Human Movement Detection & Speed Calculation

€30-250 EUR

Multi-Camera AR Guidance App

$65-115 HKD / hour

programmer

$750-1500 AUD

Equity Derivatives Algorithm Development in Python/C/C++

₹12500-37500 INR

Electronics to read rfid tags, and other sensors and online data

$190 NZD

Codeset for Argox Barcode Printer

₹1500-12500 INR

Experienced Python Developer for NSE Algo Trading - Hyderabad

₹1250-2500 INR / hour

Hire Python Programmer update code to automate Trade

₹600-1500 INR

Post a project like this