prove using isabelle proof assistant.

$30-250 AUD

Imeghairiwa

Imechapishwa

over 6 years ago

$30-250 AUD

Kulipwa wakati wa kufikishwa

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

Algorithm

Programming

Kitambulisho cha mradi: 15199403

Kuhusu mradi

4 mapendekezo

Mradi wa mbali

Inatumika 7 yrs ago

Unatafuta kupata pesa?

Barua pepe

Faida za kutoa zabuni kwenye Freelancer

Weka bajeti yako na muda uliopangwa

Pata malipo kwa kazi yako

Eleza pendekezo lako

Ni bure kujiandikisha na kutoa zabuni kwa kazi

4 wafanyakazi huru wana zabuni kwa wastani $192 AUD kwa kazi hii

@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 ndani ya siku 3

4.8

(72 hakiki)

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 ndani ya siku 3

5.0

(11 hakiki)

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 ndani ya siku 1