dk_fol_parser

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