1 search result for "tag:"logpath:formalv.prim63_mathcomp""

Showing 1 - 1
  1. coq-formalv-prim63_mathcomp

    No documentation

    Refinements from MathComp nat and int to Coq primitive integers Uint63/Sint63
    keyword:refinement keyword:primitive integers logpath:formalv.prim63_mathcomp
    Ana de Almeida Borges Quim Casals Buñuel Juan Conejero Rodriguez Mireia González Bedmar Eduardo Hermo Reyes
    1.3.0
    PolyForm Noncommercial License 1.0.0
    Used by 2 other packages
    04 Feb 2025