ic10-equality
git clone https://web.mit.edu/6.102/www/sp24/inclass/ic10-equality/.git