1 search result for "author:"Amin Timany""

Showing 1 - 1
  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