Filtre

Son aramalarım
Şuna göre filtrele:
Bütçe
ile
ile
ile
Tür
Beceri
Diller
    İş Durumu
    2 iş bulundu, ücretlendirmeleri 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 Ortalama Teklif
    11 teklifler

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

    €147 (Avg Bid)
    €147 Ortalama Teklif
    19 teklifler