Zur Navigation
Zum Inhalt
Zum Footer
Assembly
Self-organised-project
Self-organised-session
Design
39C3 Design
Hub Design - Dunkel
Hub High Contrast - Dunkel
Hub Design - Hell
Deutsch
English
Login
Konferenz
Willkommen
Mitschnitte
Fahrplan
Self-organized Sessions
Lightning Talks
Wiki
Letzte Änderungen (Wiki)
Tauschbörsen
Assemblies
Projekte
Badges
Mein Congress
Mein Fahrplan
Meine Badges
Maschinenraum
Besucher
Tickets
Gebäude
Netzwerk
Bulletin Board
FAQ
Tag mathematics
Assembly
Self-organised-project
Self-organised-session
Design
39C3 Design
Hub Design - Dunkel
Hub High Contrast - Dunkel
Hub Design - Hell
Deutsch
English
Login
Tag mathematics
Assemblies
Keine Einträge vorhanden.
Veranstaltungen
15:00
Tag 2
Proving the axioms: the allure of reverse mathematics turning mathematics upside down
mathematics
20:00
Tag 3
Careful whispers of proof assistants; Lean4, Nix, Nvim; installation support and demo
mathematics
nix
lean
Projekte
factorion-bot