2 search results for "author:"Yishuai Li <liyishuai.lys@alibaba-inc.com>""

Showing 1 - 2
  1. coq-file-sync

    No documentation

    File synchroniser specification in Coq
    logpath:FileSync
    Yishuai Li <liyishuai.lys@alibaba-inc.com>
    0.1.0
    MPL-2.0
    Used by 0 other packages
    14 Sep 2022
  2. coq-json

    No documentation

    JSON in Coq
    category:Computer Science/Data Types and Data Structures keyword:serialization keyword:JSON logpath:JSON
    Yishuai Li <liyishuai.lys@alibaba-inc.com>
    0.2.0
    BSD-3-Clause
    Used by 2 other packages
    09 Oct 2024