Explore projects

Rec to Dedukti translator

A transfer tactic for Meta Dedukti

A parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.