3 search results for "author:"Amin Timany""

Showing 1 - 3
  1. coq-universe-comparator

    No documentation

    A tool to compare universe levels in Coq
    logpath:UniverseComparator
    Amin Timany
    1.1.0
    MIT
    Used by 0 other packages
    25 Nov 2015
  2. 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
  3. rocq-vst-ora

    No documentation

    Ordered Resource Algebras for Iris
    Robbert Krebbers Ralf Jung Amin Timany William Mansky Ke Du
    1.2.1
    Used by 0 other packages
    26 Aug 2026