Go toolchain that turns Bourbaki PDFs into a tagged Markdown corpus, translates it, and solves the exercises - View it on GitHub