dedukti

The Dedukti logical framework
IN THIS PACKAGE
Module Version
val version : string