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 30 7
OCaml 26 1
Formalisation of a capability machine and principles for reasoning about security properties
Coq 17 3
A probabilistic relational separation logic with support for asynchronous couplings.
Coq 12 3
TeX 11 3
Coq 8
The Trillium logic for proving trace refinement properties such as liveness via Iris
guarded interaction trees
Loading…