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

Showing 1 - 1
  1. hol2dk
    Documentation
    HOL-Light to Dedukti/Lambdapi and Rocq translator
    Frédéric Blanqui
    2.1.0
    CeCILL-2.1
    Used by 0 other packages
    23 Nov 2025