coveringspacesproject
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (9.9%) to scientific vocabulary
Repository
Basic Info
- Host: GitHub
- Owner: AlexKontorovich
- License: apache-2.0
- Language: Lean
- Default Branch: main
- Size: 157 KB
Statistics
- Stars: 1
- Watchers: 0
- Forks: 2
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Covering Spaces Project
Organized by Alex Kontorovich and John Morgan
Zulip
The project will be coordinated via a Lean Zulip channel.
Blueprint
This project has a blueprint, which is available at https://AlexKontorovich.github.io/CoveringSpacesProject/web/.
To use the tool, first install local requirements using
sh
pip install -r blueprint/requirements.txt
Then compile documentations using make blueprint in the top-level directory. Alternatively, if the PDF is needed, type
sh
cd blueprint
make pdf
Use of LaTeX inside Lean
For those using github's copilot (free for educators), it's very convenient to have the natural language statements
right next to the Lean to be formalized. So we write the blueprint TeX right in the *.lean document, separated by
delimiters /-%% text here %%-/ for multi-line and --%% text here for single-line TeX. The code automatically
scrapes these and populates the blueprint accordingly.
Quick contributions via gitpod
If you want to quickly contribute to the project without installing your own copy of lean, you can do so using gitpod. Simply visit: https://gitpod.io/new/#https://github.com/AlexKontorovich/CoveringSpacesProject/, or click the button below:
All the required dependencies will be loaded (this takes a few minutes), after which you will be brought to a web-based vscode window, where you can edit the code, and submit PR's.
Owner
- Login: AlexKontorovich
- Kind: user
- Repositories: 4
- Profile: https://github.com/AlexKontorovich
Citation (CITATION.cff)
cff-version: 1.2.0
message: >
If you use this project in your work, please cite it using the metadata below.
title: "Covering Spaces Project"
version: 0.1.0
date-released: 2024-01-09
authors:
- family-names: Kontorovich
given-names: Alex
orcid: https://orcid.org/0000-0001-7626-8319
- family-names: Tao
given-names: Terence
orcid: https://orcid.org/0000-0002-0140-7641
repository-code: https://github.com/AlexKontorovich/CoveringSpacesProject
url: https://github.com/AlexKontorovich/CoveringSpacesProject
abstract: >
A collaborative research exposition on covering spaces,
organized by Alex Kontorovich and John Morgan. Launched June 23, 2025, and ongoing.
keywords:
- covering spaces
- collaborative mathematics
- expository project
GitHub Events
Total
- Issue comment event: 3
- Member event: 1
- Push event: 26
- Pull request review event: 2
- Pull request event: 11
- Fork event: 1
- Create event: 3
Last Year
- Issue comment event: 3
- Member event: 1
- Push event: 26
- Pull request review event: 2
- Pull request event: 11
- Fork event: 1
- Create event: 3
Dependencies
- actions/checkout v4 composite
- actions/setup-python v5 composite
- DareFox/delete-cache-by-key v1.0.1 composite
- actions/cache v3 composite
- actions/cache/restore v4 composite
- actions/cache/save v4 composite
- actions/checkout v4 composite
- actions/configure-pages v5 composite
- actions/deploy-pages v4 composite
- actions/setup-python v5 composite
- actions/upload-artifact v4 composite
- actions/upload-pages-artifact v3 composite
- ubuntu jammy build