Fermé

functional programming expert needed

Budget $10-30 USD

functional programming language COQ Programming Language expert needed for task

Coq is an interactive theorem prover

I need for task

contact me if you can do

deadline 2 days or less

proof assistant task

Compétences : Programmation C, Programmation C++, Haskell, Programmation, Computer Science

en voir plus : php expert needed, joomla expert needed, web security expert needed, photoshop expert needed san jose, volusion expert needed, digg expert needed, linux expert needed, mod rewrite expert needed, zen cart expert needed, php web scraping expert needed, j2me expert needed, net graphics expert needed, social networking site programming knowledge needed, clickbank expert needed, solidworks expert needed, c++ programming expert needed, c++ programming expert needed sg, i want to learn java programming language i need help, Programming Expert Needed

Concernant l'employeur :
( 11 commentaires ) Somerville, United States

Nº du projet : #29424756

Vous cherchez à gagner de l'argent ?

projet Fermé
Fixez votre budget et votre échéancier
Décrivez votre offre
Faites-vous payer pour votre travail
L'inscription et postuler à des emplois sont gratuits

2 freelances font une offre moyenne de 30 $ pour ce travail

Photo de profil de Thanhvh2205
Thanhvh2205

Hi, I'm Thanh. I have 3 years of experience in haskell programming. - Description Job current : + Refractoring XPath using Haskell as the principal programing language for developing the compiler. From there, find the Plus

%bids___i_sum_sub_35% %project_currencyDetails_sign_sub_36% USD en 2 jours
(3 Commentaires)
4.0
Photo de profil de Pythonrider
Pythonrider

Hi there, I'm an expert in functional programming and design patterns. I'm adapting functional programming to all my major languages - Python, TypeScript, Scheme, etc. I've also worked with Haskell a little when I was Plus

%bids___i_sum_sub_32% %project_currencyDetails_sign_sub_33% USD en 1 jour
(0 Commentaires)
0.0