Proof & Program - AI-Assisted Formal Mathematics : Registrations are open !

...
  • 8 January 2026
  • Open link
    https://www.eventbrite.fr/e/conference-proof-program-ai-assisted-formal-mathematics-tickets-1978613191318?aff=oddtdtcreator