AxiomMath Formally Verifies the Stacks Project With AI Agents

Pas encore de transcription pour cet épisode

Vous pouvez tout de même l'écouter dans le lecteur. Sur les épisodes transcrits, touchez n'importe quel mot pour voir son sens.