Logic and Semantics @ Aarhus University's repositories
cerise-stack
Formalisation of stack safety properties on a capability machine with local and uninitialized capabilities
cerise-stack-monotone
Formalisation of temporal stack safety properties on a capability machine with local, uninitialized and directed capabilities.
iris-nextgen
Next generation modality for Iris
terpsichore
Studying and Formalising Choreographies in Iris
Language:Coq000
modal-weakestpre
A modal weakest precondition theory for the Iris program logic framework
two_pcf_models
Two models of PCF in siProp