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.
-
Notifications
You must be signed in to change notification settings - Fork 0
tuura/build-systems-in-coq
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Build Systems à la Carte formalised in Coq.
Resources
Stars
Watchers
Forks
Packages 0
No packages published