Skip to content

GitLab

Explore

Sign in

D

dk_fol_parser

Project information

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

54 Commits
1 Branch
0 Tags

README
CeCILL-B Free Software License Agreement

Created on

October 13, 2017

Copy SSH clone URLgit@gitlab.math.univ-paris-diderot.fr:cauderlier/dk_fol_parser.git
Copy HTTPS clone URLhttps://gitlab.math.univ-paris-diderot.fr/cauderlier/dk_fol_parser.git