José A. Alonso on Nostr: Proof assistants in the age of AI. ~ Leonardo de Moura. #AI4Math #ITP
Proof assistants in the age of AI. ~ Leonardo de Moura. https://leodemoura.github.io/blog/2026/02/18/proof-assistants-in-the-age-of-ai.html #AI4Math #ITP
José A. Alonso
npub1pm…nv8pw
2026-02-19 11:10:24 UTC
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwSeen on
wss://relay.ditto.pub