-
Tony Licata authored
optimized is/2 by removing printer, separated is/2 operators in another class, cleaned proofTreeNode execute while
127704e0
Le support aux utilisateurs et les demandes de création de comptes externes doivent être faites depuis les issues du projet GitLab HEFR gitlab.forge.hefr.ch/forge-hefr/gitlab-hefr
optimized is/2 by removing printer, separated is/2 operators in another class, cleaned proofTreeNode execute while