Programming Help Jobs

Suodata

Viimeisimmät hakuni
Suodatusperuste:
Budjetti
asti
asti
asti
Tyyppi
Taidot
Kielet
    Työn tila
    2 työtä löytyi, hinnoittelu EUR
    Functional programming 6 päivää left

    It’s functional programming in Coq. I would like these 3 exercises without the more difficult parts of them. I mean, only the 70-80% of the 3 exercises, omitting the harder tasks. The deadline is June 29 10am. I can consider every reasonable price. Please open the whole folder (not only the file, because of importing other files) in VSCode or CoqIde, etc. The concrete task is: Fprogrammingtask.v It would be nice if you could use mostly Vanilla Ltac tactics instead of SSReflect.

    €18 (Avg Bid)
    €18 Keskimäär. tarjous
    11 tarjoukset

    Need help with understanding the language, understanding basics and a bit more complicated programms using assembly language.

    €147 (Avg Bid)
    €147 Keskimäär. tarjous
    19 tarjoukset