prove using isabelle proof assistant.

$30-250 AUD

已取消

已发布

超过 6 年前

$30-250 AUD

货到付款

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

Algorithm

Programming

项目 ID: 15199403

关于此项目

4提案

远程项目

活跃7 年前

想赚点钱吗？

电子邮箱地址

在Freelancer上竞价的好处

设定您的预算和时间范围

为您的工作获得报酬

简要概述您的提案

免费注册和竞标工作

4威客以平均价$192 AUD来参与此工作竞价

@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 在3天之内

4.8

(72条评论)

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 在3天之内

5.0

(11条评论)

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 在1天之内