prove using isabelle proof assistant.

$30-250 AUD

Dibatalkan

Disiarkan

lebih dari 6 tahun yang lalu

$30-250 AUD

Dibayar semasa penghantaran

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

Algorithm

Programming

ID Projek: 15199403

Tentang projek

4 cadangan

Projek jarak jauh

Aktif 7 tahun yang lalu

Ingin menjana wang?

Alamat e-mel

Faedah membida di Freelancer

Tetapkan bajet dan garis masa anda

Dapatkan bayaran untuk kerja anda

Tuliskan cadangan anda

Ianya percuma untuk mendaftar dan membida pekerjaan

4 pekerja bebas membida secara purata $192 AUD untuk pekerjaan ini

@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 dalam 3 hari

4.8

(72 ulasan)

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 dalam 3 hari

5.0

(11 ulasan)

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 dalam 1 hari