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
Profil: konstanty
Deutsch
English
Login
Profil: konstanty
konstanty
Veranstaltungen
20:00
Tag 3
Careful whispers of proof assistants; Lean4, Nix, Nvim; installation support and demo
mathematics
nix
lean
