Hello Even, that is a great offer of free leaves, and reasonably priced compost.
It depends how ‘finished’ the compost is, not hot and not too much wood visible in there. But it should serve for growing veg.
As for the leaves, here in the UK I would leave in a pile to rot for at least a year, before using as a mulch, otherwise leaves can harbour slugs and make it difficult to sow small seeds.
However you may be drier than us and if slugs are not a problem, you could for example spread leaves around established plants.
