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

Showing 1 - 1
  1. Serialization library and protocol for machine interaction with the Coq proof assistant
    8.20.0+0.20.0
    LGPL-2.1-or-later
    Used by 0 other packages
    10 Sep 2024