1 search result for "author:"Konstantin Weitz <konstantin.weitz@gmail.com>""

Showing 1 - 1
  1. space-search

    No documentation

    SpaceSearch is a library that turns Coq into a solver-aided host language. Many
    Konstantin Weitz <konstantin.weitz@gmail.com>
    0.9.1
    Used by 0 other packages
    29 Mar 2017