1 search result for "author:"Stefan Haan""

Showing 1 - 1
  1. coq-library-complexity

    No documentation

    A Coq Library of Complexity Theory
    Fabian Kunze Lennard Gäher Maximilian Wuttke Yannick Forster Stefan Haan
    1.0+8.16
    CECILL-2.1
    Used by 0 other packages
    09 Nov 2022