Bagaimana ia berfungsi

Layari Pekerjaan

Hire Freelancers

COQ Programming Expert Needed

$10-30 USD

Ditutup

Disiarkan

sekitar 3 tahun yang lalu

$10-30 USD

Dibayar semasa penghantaran

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

Computer Science

C++ Programming

ID Projek: 29424719

Tentang projek

2 cadangan

Projek jarak jauh

Aktif 3 tahun yang lalu

Ingin menjana wang?

Alamat e-mel

Faedah membida di Freelancer

Tetapkan bajet dan garis masa anda

Dapatkan bayaran untuk kerja anda

Tuliskan cadangan anda

Ianya percuma untuk mendaftar dan membida pekerjaan

2 pekerja bebas membida secara purata $30 USD untuk pekerjaan ini

Bendera VIETNAM

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 best command to get important data. (Infer-Xpath)

$30 USD dalam 7 hari

5.0

(3 ulasan)

4.0

4.0

Hello, I am a Haskell/prolog/lisp expert with 3+ years of experience. Let's discuss more on chat about the details.

$30 USD dalam 2 hari

4.9

(2 ulasan)

2.7

2.7

Siarkan projek seperti ini

Tentang klien

Bendera UNITED STATES

Somerville, United States

4.4

11

Kaedah pembayaran disahkan

Ahli sejak Jul 14, 2018

Pengesahan Klien

Pekerjaan lain daripada klien ini

need data scraped for stock market price prediction

coq proof assistant

Node.js and React task

simulation urgent help

COQ Programmer Needed

Pekerjaan sebelumnya

Pekerjaan seterusnya

Pekerjaan serupa

Blockchain Developer - Required

₹30000-50000 INR

Racket Project Syntax Fixes

File Encryption & Report Writing

High-Security Smart Contract Development

Automated Trading API Integration with Upstox

₹600-1500 INR

Java, Qt developer

$25-50 USD / hour

C to Matlab Code Conversion

₹600-1500 INR

Urgent X64 Assembly Language Expert Needed !! -- 4

₹12500-37500 INR

Unreal Engine 4 Oyun Geliştirme

C/Linux Developer for Desktop App

Build android app that can record voice call

Payment Solution system work for Marc Developer @starttechno

Advanced Custom Trading Signals Bot

Arabic Support for Font Generation System

RPL Security Solutions Against Hatchetman Attack in Contiki 3.0 using Cooja Simulator

Part-Time Entry-Level Tech Job Seeker

₹750-1250 INR / hour

Smart Contract Development for Crypto Dapp

₹750-1250 INR / hour

Multi-Level Maze Game Development -- 2

Arduino Speech to Text Display

Themida v2 DLL File Unpacking

Siarkan projek seperti ini

Terima kasih! Kami telah menghantar pautan melalui e-mel kepada anda untuk menuntut kredit percuma anda.

Sesuatu telah berlaku semasa menghantar e-mel anda. Sila cuba lagi.

Memuatkan pratonton

Kebenaran diberikan untuk Geolocation.

Sesi log masuk anda telah luput dan telah dilog keluar. Sila log masuk sekali lagi.