1 search result for "author:"Kiran Gopinathan""

Showing 1 - 1
  1. coq-ceramist

    No documentation

    Coq library for reasoning about probabilistic algorithms
    category:Computer Science/Data Types and Data Structures keyword: bloomfilter keyword: probability keyword: amq date:2020-04-06
    Kiran Gopinathan Ilya Sergey
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    06 Apr 2020