Build Systems à la Carte formalised in Coq.
Work in progress.
The motivation and brief description for this work is summarised in the CoqPL'19 submission.
Build Systems à la Carte formalised in Coq.
Work in progress.
The motivation and brief description for this work is summarised in the CoqPL'19 submission.