HOL
https://hol.org.uk/forum/
Questions
https://hol.org.uk/forum/viewtopic.php?f=577&t=32147
Page
1
of
1
Questions
Posted:
Fri Feb 21, 2020 3:40 am
by
Prof. Tom Foster
If you have any questions at all, you can ask them here or send me a message either through HOL or the class email.