Peruttu

prove using isabelle proof assistant - -- 2

4 freelanceria on tarjonnut keskimäärin %project_bid_stats_avg_sub_26% %project_currencyDetails_sign_sub_27% tähän työhön

utkarshkatiyar19

i can learn isabelle and do it. have knowledge about first order logic though. Relevant Skills and Experience algorithm Proposed Milestones $160 AUD - all

$160 AUD 3 päivässä
(239 arvostelua)
6.9
imuli

Prove as yet specified theorem with Isabelle. Relevant Skills and Experience I haven't ever used Isabelle, however I have done a bit of formal logic and have worked with numerous functional programming languages, incl Lisää

$250 AUD 7 päivässä
(2 arvostelua)
4.2
BeautiCG

hi,dear. We understand your requirements and I am very interested in this job - 'prove using isabelle proof assistant - -- 2'. We are senior software developers and I am able to perform this task with my developers tea Lisää

$155 AUD 1 päivässä
(0 arvostelua)
0.0
creativesols3

Hi, i am a full stack mobile & web dev having similar technical skills & experience & have already worked on a similar project before so can do this Ref : [login to view URL] Relevant Skills a Lisää

$208 AUD 3 päivässä
(1 arvostelu)
0.0