Report copyright - formalization of mathematicsfreek/talks/nmc.pdf · formalization of mathematics Freek Wiedijk Radboud University Nijmegen ... ‘Vermeerder dat getal met twee!’ set n’ = n + 2;
Please pass captcha verification before submit form
Please pass captcha verification before submit form