1024">
Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
2 Search Results
Search packages
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