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

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