В работе

prove using isabelle proof assistant -

requirement (knowledge in):

Functional programming

First-order formal logic

and solve in isabelle problem solver

further info in chat

Квалификация: Алгоритмы, Программирование

Показать больше isabelle/hol: a proof assistant for higher-order logic, isabelle hol tutorial, isabelle vs coq, isabelle documentation, archive of formal proofs, concrete semantics, isabelle isar, isabelle theorem prover tutorial, using a virtual assistant for construction business, using a virtual assistant, introduction to functional programming using haskell, functional programming jobs, functional programming, research assistant requirement, personal assistant excel knowledge

О работодателе:
( 2 отзыв(-а, -ов) ) Sydney, Australia

ID проекта: #15188767

Поручен:

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 Больше

$170 AUD за 1 день
(1 отзыв)
0.0

3 фрилансеров(-а) в среднем готовы выполнить эту работу за $160

liveexperts123

please ignore the bid amount we will discuss the price later in the chat after we have discussed the project thoroughly Relevant Skills and Experience: . Proposed Milestones: 155 - . Hi tkhates99! Please drop a message Больше

$155 AUD за 3 дней(-я)
(5 отзывов(-а))
4.4
BeautiCG

Hi,we're all senior software developers,we've just checked your project requirements,we're able to perform your project and you'll be interesting with us,please come in contact with us to discuss for more project detai Больше

$155 AUD за 1 день
(0 отзывов(-а))
0.0