ISABELLE HOL/CONCRETE SEMANTICS

Closed Posted 6 years ago Paid on delivery

$250-750 USD

Paid on delivery

Closed Paid on delivery

Hello,

I need help with Isabelle theorem proof assistant.

Algorithm Mathematics Programming

Project ID: #15824657

About the project

3 proposals Remote project Active 6 years ago

Looking to make some money?

Benefits of bidding on Freelancer

Set your budget and timeframe
Get paid for your work
Outline your proposal
It's free to sign up and bid on jobs

3 freelancers are bidding on average $459 for this job

zdesign77's Profile Picture
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 More

$555 USD in 10 days
(5 Reviews)
4.7
reddysir2016's Profile Picture
reddysir2016

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

$555 USD in 10 days
(1 Review)
0.0
Post a project like this