6 search results for "author:"Juan Conejero Rodriguez""

Showing 1 - 6
  1. coq-formalv-check_range

    No documentation

    Tactics to automatically prove Boolean goals involving Uint63/Sint63 variables
    keyword:automation keyword:primitive integers logpath:formalv.check_range
    Ana de Almeida Borges Quim Casals Buñuel Juan Conejero Rodriguez Mireia González Bedmar Eduardo Hermo Reyes
    1.4.0
    PolyForm Noncommercial License 1.0.0
    Used by 1 other packages
    29 Oct 2025
  2. 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.4.0
    PolyForm Noncommercial License 1.0.0
    Used by 2 other packages
    29 Oct 2025
  3. coq-formalv-time

    No documentation

    A Coq library for time and date arithmetic according to the UTC standard with leap seconds
    keyword:time keyword:date keyword:timestamp logpath:formalv.time
    Ana de Almeida Borges Quim Casals Buñuel Juan Conejero Rodriguez Mireia González Bedmar Eduardo Hermo Reyes
    1.4.0
    PolyForm Noncommercial License 1.0.0
    Used by 0 other packages
    29 Oct 2025
  4. rocq-formalv-check_range

    No documentation

    Tactics to automatically prove Boolean goals involving Uint63/Sint63 variables
    keyword:automation keyword:primitive integers logpath:formalv.check_range
    Ana de Almeida Borges Quim Casals Buñuel Juan Conejero Rodriguez Mireia González Bedmar Eduardo Hermo Reyes
    1.5.0
    PolyForm Noncommercial License 1.0.0
    Used by 1 other packages
    04 Mar 2026
  5. rocq-formalv-prim63_mathcomp

    No documentation

    Refinements from MathComp nat and int to Rocq 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.5.0
    PolyForm Noncommercial License 1.0.0
    Used by 2 other packages
    04 Mar 2026
  6. rocq-formalv-time

    No documentation

    A Rocq library for time and date arithmetic according to the UTC standard with leap seconds
    keyword:time keyword:date keyword:timestamp logpath:formalv.time
    Ana de Almeida Borges Quim Casals Buñuel Juan Conejero Rodriguez Mireia González Bedmar Eduardo Hermo Reyes
    1.5.0
    PolyForm Noncommercial License 1.0.0
    Used by 0 other packages
    04 Mar 2026