Training materials
Authors: Simon Gladman
and Contributors: Dr. Alexander Lex or Jeroen Gilis or Martin Čech or Thomas Denecker or posit-conf-2023
Authors: Simon Gladman
and Contributors: Dr. Alexander Lex or Jeroen Gilis or Martin Čech or Thomas Denecker or posit-conf-2023