1 search result for "author:"Frédéric Blanqui""

Showing 1 - 1
  1. hol2dk
    Documentation
    HOL-Light to Dedukti/Lambdapi and Coq translator
    Frédéric Blanqui Anthony Bordg
    2.0.0
    CeCILL-2.1
    Used by 0 other packages
    25 Apr 2024