The latest version of dedukti is 1.1.4-0.

lib:dedukti

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.