1 search result for "tag:"logpath:CoqEAL_refinements""

Showing 1 - 1
  1. coq-coqeal-refinements

    No documentation

    A refinement framework (for algebra)
    category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms keyword:Karatsuba multiplication keyword:refinements logpath:CoqEAL_refinements
    Guillaume Cano Cyril Cohen Maxime Dénès Anders Mörtberg Vincent Siles
    0.9.1
    MIT
    Used by 0 other packages
    25 Nov 2015