taumaturg/discrete-geometry-lecture-notes — comment on commit b034abd6fb359fd4cb5ea99294dd13210163c673
File:  line 0
By taumaturg:

Yeah, but I don't like the default environment of 'proof'. And I don't want to learn it's options :P