1 search result for "author:"Ralf Jung""

Showing 1 - 1

coq-vst-ora

No documentation

Ordered Resource Algebras for Iris

Robbert Krebbers Ralf Jung Amin Timany William Mansky

1.1

Used by 0 other packages

24 Feb 2026