Skip to content

Visualisation PDF

Yann Salmon requested to merge ysalmon/dedunat:pdf into main

Ajout d'une commande pdf pour générer, compiler et afficher un .tex de la preuve.

Merge request reports

Loading