prove using isabelle proof assistant.

$30-250 AUD

Cancelado

Publicado

há mais de 6 anos

$30-250 AUD

Pago na entrega

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

Algorithm

Programming

ID do Projeto: 15199403

Sobre o projeto

4 propostas

Projeto remoto

Ativo há 7 anos

Quer ganhar algum dinheiro?

Endereço de e-mail

Benefícios de ofertar no Freelancer

Defina seu orçamento e seu prazo

Seja pago pelo seu trabalho

Descreva sua proposta

É grátis para se inscrever e fazer ofertas em trabalhos

4 freelancers estão ofertando em média $192 AUD for esse trabalho

@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 em 3 dias

4,8

(72 avaliações)

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 em 3 dias

5,0

(11 avaliações)

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 em 1 dia