1 search result for "author:"Yaroslav Kogevnikov <ykozhevnikov@codeminders.com>""

Showing 1 - 1
  1. coq-flocq-quickchick

    No documentation

    Flocq binary_float generators for QuickChick testing framework
    logpath: FlocqQuickChick date: 2020-04-01
    Yaroslav Kogevnikov <ykozhevnikov@codeminders.com>
    1.0.2
    MIT
    Used by 0 other packages
    03 Apr 2020