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.
Functional programming 6 dage left
€18 (Avg Bid)
€18 Gns Bud