clean, comment, improve exporter + add translation from dk to coq #307
Annotations
1 error
isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2023)
Process completed with exit code 2.
|