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

Showing 1 - 1
  1. Serialization library and protocol for machine interaction with the Coq proof assistant
    8.19.0+0.19.1
    LGPL-2.1-or-later
    Used by 1 other packages
    26 Feb 2024