learning git and writing about git for collaborative mathematics
OtherNOASSERTION
No issues in this repository yet.