Closed bradjc closed 8 months ago
@bradjc the tutorial looks great! Thanks for the hardwork updating / improving. This tutorial has been very helpful for introducing / onboarding some undergrads with Tock.
I only saw a few small grammar / clarity fixes. I think this should be good to merge soon.
This includes a refresh of the hotp tutorial docs.