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
Profil: konstanty
Assembly
Self-organised-project
Self-organised-session
Design
39C3 Design
Hub Design - Dunkel
Hub High Contrast - Dunkel
Hub Design - Hell
Deutsch
English
Login
Profil: konstanty
konstanty
DN senden
Veranstaltungen
20:00
Tag 3
Careful whispers of proof assistants; Lean4, Nix, Nvim; installation support and demo
mathematics
nix
lean
