ISABELLE HOL/CONCRETE SEMANTICS

Cerrado Publicado hace 6 años Pagado a la entrega

$250-750 USD

Pagado a la entrega

Cerrado Pagado a la entrega

Hello,

I need help with Isabelle theorem proof assistant.

Algoritmos Matemáticas Programación

Nº del proyecto: #15824657

Sobre el proyecto

3 propuestas Proyecto remoto Activo hace 6 años

¿Quieres ganar algo de dinero?

Beneficios de ofertar en Freelancer

Establece tu presupuesto y plazo
Cobra por tu trabajo
Describe tu propuesta
Registrarse y ofertar en los trabajos es gratis

3 freelancers están ofertando un promedio de $459 por este trabajo

Foto de perfil de zdesign77
zdesign77

Hello, how are you today? My name is Mike, I’m a web developer & designer working from Boston, USA. My previous experience fit with your project goals. Relevant Skills and Experience Algorithm, Mathematics, Programmin Más

$555 USD en 10 días
(5 comentarios)
4.7
Foto de perfil de reddysir2016
reddysir2016

required demo will be presented Relevant Skills and Experience req tech stacks Proposed Milestones $555 USD - on chat

$555 USD en 10 días
(1 comentario)
0.0
Publicar un proyecto como este