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

Showing 1 - 1
  1. HOL-Light to Dedukti/Lambdapi and Coq translator
    2.0.0
    CeCILL-2.1
    Used by 0 other packages
    25 Apr 2024