requirement (knowledge in):
First-order formal logic
and solve in isabelle problem solver
further info in chat
6 freelancers are bidding on average $175 for this job
Hi Relevant Skills and Experience I have skills in Algorithm and i am a software. So i can help you if you want me. Proposed Milestones $155 AUD - 1
I believe that my 9+ years of programming experience makes me highly qualified for this project. I believe that I would be an asset to this project. Relevant Skills: Algorithm, Programming,
Will be done on time. Agree for any programming test in python. Relevant Skills and Experience Very good experience in programming and currently doing masters in improving my skils.