j
k
j a
j l
Désolé pour le retard je l’avais complètement oublié, je viens de créer une branche qui s’appelle `cubical-equality`.
Merci. Je l'ai divisé en quelques commit plus ou moins indépendants et je l'ai poussé sur `main`.
Stefan
Retour au fil de discussion
Retour à la liste
