2 search results for "author:"Ralf Jung""

Showing 1 - 2
  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
  2. rocq-vst-ora

    No documentation

    Ordered Resource Algebras for Iris
    Robbert Krebbers Ralf Jung Amin Timany William Mansky Ke Du
    1.2
    Used by 0 other packages
    16 Jul 2026