4 search results for "tag:"keyword:isomorphism""

Showing 1 - 4
  1. coq-trocq-hott

    No documentation

    A modular parametricity plugin for proof transfer in Coq
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Miscellaneous/Coq Extensions keyword:automation keyword:elpi keyword:proof transfer keyword:isomorphism keyword:univalence keyword:parametricity logpath:Trocq
    Cyril Cohen Enzo Crance Lucie Lahaye Assia Mahboubi
    0.2.0
    LGPL-3.0-or-later
    Used by 1 other packages
    01 Jul 2025
  2. coq-trocq-hott-examples

    No documentation

    A modular parametricity plugin for proof transfer in Coq: examples
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Miscellaneous/Coq Extensions keyword:automation keyword:elpi keyword:proof transfer keyword:isomorphism keyword:univalence keyword:parametricity logpath:Trocq
    Cyril Cohen Enzo Crance Lucie Lahaye Assia Mahboubi
    0.2.0
    LGPL-3.0-or-later
    Used by 0 other packages
    01 Jul 2025
  3. coq-trocq-std

    No documentation

    A modular parametricity plugin for proof transfer in Coq
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Miscellaneous/Coq Extensions keyword:automation keyword:elpi keyword:proof transfer keyword:isomorphism keyword:univalence keyword:parametricity logpath:Trocq
    Cyril Cohen Enzo Crance Lucie Lahaye Assia Mahboubi
    0.2.0
    LGPL-3.0-or-later
    Used by 1 other packages
    01 Jul 2025
  4. coq-trocq-std-examples

    No documentation

    A modular parametricity plugin for proof transfer in Coq: examples
    category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Miscellaneous/Coq Extensions keyword:automation keyword:elpi keyword:proof transfer keyword:isomorphism keyword:univalence keyword:parametricity logpath:Trocq
    Cyril Cohen Enzo Crance Lucie Lahaye Assia Mahboubi
    0.2.0
    LGPL-3.0-or-later
    Used by 0 other packages
    01 Jul 2025