You can cite homotopy.io using the following DOI:
This work is made available under the CC BY-NC 3.0, Attribution-NonCommercial 3.0 Unported
First time:
git submodule sync && git submodule update --init
cd homotopy-core && npm install && npm run build
npm install
Development:
- Run
npm run dev
, which automatically rebuilds when the source changes. This also starts a webserver at http://localhost:8080.
Deployment:
- (Project collaborators only.) Merge to
stable
and push; this is then automatically deployed.
You can cite homotopy.io using the following BiBTeX entry:
@misc{homotopyio-tool, author = {Lukas Heidemann and Nick Hu and Jamie Vicary}, title = {\emph{homotopy.io}}, year = 2019, doi = {10.5281/zenodo.2540764}, url = {https://doi.org/10.5281/zenodo.2540764} }