1 search result for "author:"Karl Palmskog""

  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.17.0+0.17.0
    GPL-3.0-or-later
    Used by 1 other packages
    03 Apr 2023