仕事を検索する

プロジェクトを投稿する

Hire Freelancers

ISABELLE HOL/CONCRETE SEMANTICS

$250-750 USD

クローズ

投稿日:

6年以上前

$250-750 USD

完了時にお支払い

Hello, I need help with Isabelle theorem proof assistant.

プロジェクト ID: 15824657

プロジェクトについて

3個の提案

リモートプロジェクト

アクティブ 6年前

お金を稼ぎたいですか？

メールアドレス

Freelancerで入札する利点

予算と期間を設定してください

仕事で報酬を得る

提案をご説明ください

登録して仕事に入札するのは無料です

この仕事に3人のフリーランサーが、平均$459 USDで入札しています

UNITED STATESのフラグ

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, Programming Proposed Milestones $555 USD - project milestone I recently did a very similar project which I can share with you.

$555 USD 10日以内

5.0

(5 レビュー)

4.7

4.7

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

$555 USD 10日以内

5.0

(1 レビュー)

0.0

0.0

このようなプロジェクトを投稿する

クライアントについて

UNITED STATESのフラグ

United States

0.0

0

メンバー登録日：12月 4, 2017

クライアント確認

このクライアントからの他の仕事

Isabelle Algorithm

類似のお仕事

Networking and Programming (Electronics and Electrical Engineer)..

Numeric Data Processing in Excel

$15-25 USD / hour

AI Development for English Speaking Solution - 17/04/2024 17:15 EDT

$15-25 USD / hour

Vedic Astrology Planetary Positioning in Excel

₹1500-10000 INR

NLP Tutor to Teach Computer Interaction

I'm looking for a Ninjatrader 8

Python Developer to automate trading application -- 2

₹600-1500 INR

High-Frequency Stock Trading Algorithm -- 2

₹600-1500 INR

Real-time Binance Data Bypass in Excel -- 8

Math Teacher for Kid

₹12500-37500 INR

Networking and Programming. (Electronics and Electrical Engineer).

Raspberry Pi 7'' LCD Loop Video Implementation

Custom Tradingview Indicator and Liquidity Table Script

R Programming & Linear Algebra Specialist

Networking and Programming..(Electronics and Electrical Engineer)

Online NAPLAN Group Tutoring for Primary School Students

$8-15 AUD / hour

Matlab Guru for Kalman Filter Coding

Fuel Cell-Based Semi-Truck Simulation

₹600-1500 INR

Intermediate Microeconomics Video Tutor

min $50 AUD / hour

Bespoke Music Streaming Site Creation

このようなプロジェクトを投稿する

ありがとうございます！無料クレジットを受け取るリンクをメールしました。

メールを送信中に問題が発生しました。もう一度お試しください。

プレビューを読み込み中

位置情報へのアクセスが許可されました。

あなたのログインセッションの有効期限がきれ、ログアウトされました。もう一度ログインしてください。