We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Program logic for developing and verifying distributed systems
Coq 31 7
OCaml 26 1
Formalisation of a capability machine and principles for reasoning about security properties
Coq 17 3
Probabilistic separation logics for verifying higher-order probabilistic programs.
Coq 12 3
TeX 11 3
Coq 8
guarded interaction trees
The Trillium logic for proving trace refinement properties such as liveness via Iris
Next generation modality for Iris
Loading…