prove using isabelle proof assistant.

$30-250 AUD

Cancelado

Publicado

hace más de 6 años

$30-250 AUD

Pagado a la entrega

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

Algorithm

Programming

ID del proyecto: 15199403

Información sobre el proyecto

4 propuestas

Proyecto remoto

Activo hace 7 años

¿Buscas ganar dinero?

Dirección de email

Beneficios de presentar ofertas en Freelancer

Fija tu plazo y presupuesto

Cobra por tu trabajo

Describe tu propuesta

Es gratis registrarse y presentar ofertas en los trabajos

4 freelancers están ofertando un promedio de $192 AUD por este trabajo

@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 en 3 días

4,8

(72 comentarios)

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 en 3 días

5,0

(11 comentarios)

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 en 1 día