A Coq formalization of the Heapster type system
Requires Coq 8.17, and the following opam packages:
coq-itreecoq-pacocoq-ext-lib
The formalization for the OOPSLA 2021 publication is found at the following branch: https://github.com/GaloisInc/heapster-formalization/tree/oopsla-2021