GitHub repository: nlandolfi/bourbaki
Primary language: Makefile
Description: sheets describing mathematical concepts, terms, results and notation; source code for the bbk tool