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