Formalisation of stack safety properties on a capability machine with local and uninitialized capabilities
Latest commits.
Builders behind this project.
