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
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.