Anatomy of a Formal Proof

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Notices of the American Mathematical Society 2025-02, Vol.72 (2), p.1
Hauptverfasser:	Avigad, Jeremy, Commelin, Johan, Macbeth, Heather, Topaz, Adam
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!