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