Mentions légales du service

Skip to content

Prettyprint dedukti

HONDET Gabriel requested to merge prettyprint-dedukti into master

Created by: gabrielhdt

Provide the prettyprint-dedukti command to export a theory to Dedukti.

Merge request reports