ic05-designing-specs
git clone https://web.mit.edu/6.102/www/sp24/inclass/ic05-designing-specs/.git