1 search result for "author:"Kaiyu Yang""

  1. coq-serapi
    Documentation
    Serialization library and protocol for machine interaction with the Coq proof assistant
    Emilio Jesús Gallego Arias Karl Palmskog Clément Pit-Claudel Kaiyu Yang
    8.18.0+0.18.1
    GPL-3.0-or-later
    Used by 1 other packages
    15 Sep 2023