Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen  >  Frankreich

Wählen Sie ein Land aus
1
Lean for the curious mathematician
25. Mär 2024 - 29. Mär 2024 • CIRM (Marseille Luminy), Frankreich
Veranstalter:
CIRM – Centre International de Rencontres Mathématiques
Zusammenfassung:
Many proof assistants can be used to formalise mathematics. Two of the most commonly used today by “standard mathematicians” are Lean and Coq, and the conference will mainly focus on the first. Lean comes with a vast library of formalised mathematics, mathlib. The existence of such a library allows one to work on contemporary mathematics. The meeting’s main goal is to introduce mathematicians to Lean and to formalisation in general.
Eintrags-ID:
1574598


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 13. September 2023