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

Showing 1 - 1
  1. coq-vst-ora

    No documentation

    Ordered Resource Algebras for Iris
    Robbert Krebbers Ralf Jung Amin Timany William Mansky
    1.0
    Used by 1 other packages
    12 Jun 2025