José A. AlonsoMel Nathanson — How Harmonic's Aristotle solved some of my problems. https://gist.github.com/kim-em/20212c66bd144c5d3fa3b044402e2092 #LeanProver #ITP #Aristotle #AI4Math
Transcript: Mel Nathanson - How Harmonic's Aristotle solved some of my problems (NY Number Theory Seminar, 2026-04-30) — https://www.youtube.com/watch?v=VBIxv-6m7sk
Transcript: Mel Nathanson - How Harmonic's Aristotle solved some of my problems (NY Number Theory Seminar, 2026-04-30) — https://www.youtube.com/watch?v=VBIxv-6m7sk - VBIxv-6m7sk.with-slides.md