homotopy.io

DOI

You can cite homotopy.io using the following DOI:

License

This work is made available under the CC BY-NC 3.0, Attribution-NonCommercial 3.0 Unported

Build Instructions

First time:

• git submodule sync
• git submodule update --init
• cd homotopy-core
• npm install
• npm run build
• cd ..
• 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 master and push; this is then automatically deployed.

Citation

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} }

Community

Have questions about homotopy.io? Come and chat to us! We can be found in the [matrix] room #homotopy:matrix.org, which is bridged to Gitter and #homotopy on freenode.net.