prove using isabelle proof assistant.

$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: 15199403

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

@ahmsak

Hello Sir... I have a very good experience in functional programming & logic. Please contact me for more details when possible. I look forward to work for you Sir. Best Regards. Relevant Skills and Experience I am a computer science tutor, I teach (among others) Scheme, LISP, Haskell, Prolog and Algorithms. Proposed Milestones $250 AUD - 1

$250 AUD in 3 days

4.8

(72 reviews)

6.0

@liveexperts123

please ignore the bid amount we will discuss the price later in the chat after we have discussed the project thoroughly Relevant Skills and Experience: . Proposed Milestones: 155 - . Hi tkhates99! Please drop a message to discuss more about the project

$155 AUD in 3 days

5.0

(11 reviews)

5.1

@BeautiCG

hello,sir. I'm a professional programmer with 6 years of experience. I've already done this kind of project before. If you award me, I'll implement all of your requirements in a short time. ProjectName:prove using isabelle proof assistant. Relevant Skills: Algorithm, Programming,

$155 AUD in 1 day