Zur Navigation
Zum Inhalt
Zum Footer
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
Besucher
Tickets
Gebäude
Netzwerk
Bulletin Board
FAQ
Tag nix
Deutsch
English
Login
Tag nix
Assemblies
Chaos Darmstadt
NixOS
Veranstaltungen
15:00
Tag 2
NixOS Install Party
NixOS
nix
nixos
come_with_install_target
install_party
beginner_friendly
can_nix
nix_machen
20:00
Tag 3
Careful whispers of proof assistants; Lean4, Nix, Nvim; installation support and demo
mathematics
nix
lean
Projekte
Overte VR Setup