Zur Navigation
Zum Inhalt
Zum Footer
Assembly
Self-organised-project
Self-organised-session
Theme
39C3 Theme
Hub Theme - dark
Hub Theme - high contrast - dark
Hub Theme - light
Deutsch
English
Login
Conference
Welcome
Recordings
Schedule
Self-organized Sessions
Lightning Talks
Wiki
Recent changes (Wiki)
Exchanges
Assemblies
Projects
Badges
my congress
My Schedule
My Badges
Backoffice
Visitors
Tickets
Venue
Network
Bulletin Board
FAQ
Tag mathematics
Assembly
Self-organised-project
Self-organised-session
Theme
39C3 Theme
Hub Theme - dark
Hub Theme - high contrast - dark
Hub Theme - light
Deutsch
English
Login
Tag mathematics
Assemblies
No entries available.
Events
15:00
Day 2
Proving the axioms: the allure of reverse mathematics turning mathematics upside down
mathematics
20:00
Day 3
Careful whispers of proof assistants; Lean4, Nix, Nvim; installation support and demo
mathematics
nix
lean
projects
factorion-bot