News

  • Guest editor (together with Jan Bouwe van den Berg and Bas Spitter) of September issue Nieuw Archief voor Wiskunde. Topic: Computer-assisted theorem proving