yay, i can finally set my dm settings to no one, so i just did (since uk age gate means i can’t access the tab). if i didn’t see your dm, im sorry — pls email if it’s something important
ok this was a bit brutal but i learned a lot. will hopefully simplify it for next souls doing it. it was particularly affirming to find that my initial ad-hoc helpers matched preexisting stuff in Mathlib 1:1
[Scaffolding for Exercise 3.6.1...](
i like how the npm ecosystem works in general (packages are good) but if you deal with it regularly you should probably code in a vm or a clean operating system with no sensitive tokens
RE:
