3
Ich möchte alle Axiome sehen, die von meinem Beweis verwendet wurden. Was sind die einfachsten Möglichkeiten, solche Informationen zu erhalten? Welche Befehle oder Skripte oder Tools soll ich verwenden? Ich interessiere mich entweder für alle Axiome oder alle verwendeten Axiome.Alle Axiome anzeigen Coq