GitHub - stacks/stacks-tools: Tools for managing the TeX sources of the Stacks project · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 236 Commits
checks		checks
query		query
.gitignore		.gitignore
README.markdown		README.markdown
config.py		config.py
functions.py		functions.py

Repository files navigation

Description

Tools for managing the TeX sources of the Stacks project.

About

Tools for managing the TeX sources of the Stacks project

stacks.math.columbia.edu

Custom properties

16 stars

6 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

Python 100.0%