Filtrér

Mine seneste søgninger
Filtrer ved:
Budget
til
til
til
Slags
Evner
Sprog
    Job-status
    2 jobs fundet, i prisklassen EUR

    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 Gns Bud
    11 bud

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

    €147 (Avg Bid)
    €147 Gns Bud
    19 bud