Training materials
Authors: Simon Gladman
and Contributors: Anthony Bretaudeau or Pedro Fernandes or Prof. Michael J E Sternberg or Thomas Denecker or posit-conf-2023
Authors: Simon Gladman
and Contributors: Anthony Bretaudeau or Pedro Fernandes or Prof. Michael J E Sternberg or Thomas Denecker or posit-conf-2023