homotopy-type-theory-lecture-notes-cmu-15-819

Name	homotopy-type-theory-lecture-notes-cmu-15-819 JSON
Version	2024.3.2.0 JSON
	download
home_page	https://github.com/apachecn/homotopy-type-theory-lecture-notes-cmu-15-819
Summary	Homotopy Type Theory Lecture Notes (CMU 15-819)
upload_time	2024-03-01 20:43:52
maintainer
docs_url	None
author	ApacheCN
requires_python	>=3.6
license
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            # Homotopy Type Theory Lecture Notes (CMU 15-819)

## 下载

### Docker

```
docker pull apachecn0/homotopy-type-theory-lecture-notes-cmu-15-819
docker run -tid -p <port>:80 apachecn0/homotopy-type-theory-lecture-notes-cmu-15-819
# 访问 http://localhost:{port} 查看文档
```

### PYPI

```
pip install homotopy-type-theory-lecture-notes-cmu-15-819
homotopy-type-theory-lecture-notes-cmu-15-819 <port>
# 访问 http://localhost:{port} 查看文档
```

### NPM

```
npm install -g homotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu
homotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu <port>
# 访问 http://localhost:{port} 查看文档
```


            

Raw data

            {
    "_id": null,
    "home_page": "https://github.com/apachecn/homotopy-type-theory-lecture-notes-cmu-15-819",
    "name": "homotopy-type-theory-lecture-notes-cmu-15-819",
    "maintainer": "",
    "docs_url": null,
    "requires_python": ">=3.6",
    "maintainer_email": "",
    "keywords": "",
    "author": "ApacheCN",
    "author_email": "apachecn@163.com",
    "download_url": "https://files.pythonhosted.org/packages/fe/75/09f1cc5752d86db64c5250ab6f973badff045127b4a6ebbc438b3199a65f/homotopy-type-theory-lecture-notes-cmu-15-819-2024.3.2.0.tar.gz",
    "platform": null,
    "description": "# Homotopy Type Theory Lecture Notes (CMU 15-819)\n\n## \u4e0b\u8f7d\n\n### Docker\n\n```\ndocker pull apachecn0/homotopy-type-theory-lecture-notes-cmu-15-819\ndocker run -tid -p <port>:80 apachecn0/homotopy-type-theory-lecture-notes-cmu-15-819\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n### PYPI\n\n```\npip install homotopy-type-theory-lecture-notes-cmu-15-819\nhomotopy-type-theory-lecture-notes-cmu-15-819 <port>\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n### NPM\n\n```\nnpm install -g homotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu\nhomotopy-type-theory-lecture-notes-cmu-yiwu-bayijiu <port>\n# \u8bbf\u95ee http://localhost:{port} \u67e5\u770b\u6587\u6863\n```\n\n",
    "bugtrack_url": null,
    "license": "",
    "summary": "Homotopy Type Theory Lecture Notes (CMU 15-819)",
    "version": "2024.3.2.0",
    "project_urls": {
        "Homepage": "https://github.com/apachecn/homotopy-type-theory-lecture-notes-cmu-15-819"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "2f0b226b770b14597820f4fa31b11091205ceffd4e5c276ad9ceac57640e1fdf",
                "md5": "de7f5b7fa3579add248d433ab857a0cb",
                "sha256": "aadeef1b5261f98b209998a06e2cdefaf47a140f9b547815d527fb4fb4cba1c6"
            },
            "downloads": -1,
            "filename": "homotopy_type_theory_lecture_notes_cmu_15_819-2024.3.2.0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "de7f5b7fa3579add248d433ab857a0cb",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.6",
            "size": 2984778,
            "upload_time": "2024-03-01T20:43:42",
            "upload_time_iso_8601": "2024-03-01T20:43:42.999211Z",
            "url": "https://files.pythonhosted.org/packages/2f/0b/226b770b14597820f4fa31b11091205ceffd4e5c276ad9ceac57640e1fdf/homotopy_type_theory_lecture_notes_cmu_15_819-2024.3.2.0-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "fe7509f1cc5752d86db64c5250ab6f973badff045127b4a6ebbc438b3199a65f",
                "md5": "e3b832d945feaa6b34bffed577b1c7f9",
                "sha256": "0d37aa1410724afb86ea1a8745ada5d68d2d0bf5ee94a08642f84487bb54810d"
            },
            "downloads": -1,
            "filename": "homotopy-type-theory-lecture-notes-cmu-15-819-2024.3.2.0.tar.gz",
            "has_sig": false,
            "md5_digest": "e3b832d945feaa6b34bffed577b1c7f9",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.6",
            "size": 2983287,
            "upload_time": "2024-03-01T20:43:52",
            "upload_time_iso_8601": "2024-03-01T20:43:52.412438Z",
            "url": "https://files.pythonhosted.org/packages/fe/75/09f1cc5752d86db64c5250ab6f973badff045127b4a6ebbc438b3199a65f/homotopy-type-theory-lecture-notes-cmu-15-819-2024.3.2.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-03-01 20:43:52",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "apachecn",
    "github_project": "homotopy-type-theory-lecture-notes-cmu-15-819",
    "github_not_found": true,
    "lcname": "homotopy-type-theory-lecture-notes-cmu-15-819"
}