2 search results for "author:"dedukti-dev@inria.fr""

Showing 1 - 2
  1. dedukti
    Documentation
    An implementation of The Lambda-Pi Modulo Theory
    dedukti-dev@inria.fr
    2.7
    CECILL-B
    Used by 2 other packages
    17 Jun 2022
  2. universo
    Documentation
    A tool for Dedukti to play with universes
    dedukti-dev@inria.fr
    2.7
    CECILL-B
    Used by 0 other packages
    17 Jun 2022