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