I
iris-time-proofs
implementation and metatheory of time credits and time receipts in Iris / Coq
Forked from cambium / iris-time-proofs
implementation and metatheory of time credits and time receipts in Iris / Coq
Forked from cambium / iris-time-proofs