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