add Brouwer/Kolmogorov, exclude pdf from repo