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

Showing 1 - 2
  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.0
    Used by 1 other packages
    12 Jun 2025