3 search results for "tag:"date:2022-05-20""

Showing 1 - 3
  1. coq-addition-chains

    No documentation

    Exponentiation algorithms following addition chains in Coq
    category:Mathematics/Combinatorics and Graph Theory keyword:addition chains keyword:exponentiation algorithms logpath:additions date:2022-05-20
    Pierre Castéran Yves Bertot
    0.9
    MIT
    Used by 0 other packages
    25 May 2022
  2. coq-gaia-hydras

    No documentation

    Bridge in Coq between Gaia and Hydra battles
    category:Mathematics/Logic/Foundations keyword:ordinal numbers logpath:gaia_hydras date:2022-05-20
    Pierre Castéran
    0.9
    MIT
    Used by 0 other packages
    25 May 2022
  3. coq-hydra-battles

    No documentation

    Exploration of some properties of Kirby and Paris' hydra battles, with the help of Coq
    category:Mathematics/Combinatorics and Graph Theory category:Mathematics/Logic/Foundations keyword:Ketonen-Solovay machinery keyword:ordinal numbers keyword:primitive recursive functions logpath:hydras date:2022-05-20
    Pierre Castéran Évelyne Contejean Jeremy Damour Russell O'Connor Karl Palmskog et al.
    0.9
    MIT
    Used by 2 other packages
    25 May 2022