Intuitionistic Type Theory
Project description
Intuitionistic Type Theory
下载
Docker
docker pull apachecn0/intuitionistic-type-theory
docker run -tid -p <port>:80 apachecn0/intuitionistic-type-theory
# 访问 http://localhost:{port} 查看文档
PYPI
pip install intuitionistic-type-theory
intuitionistic-type-theory <port>
# 访问 http://localhost:{port} 查看文档
NPM
npm install -g intuitionistic-type-theory
intuitionistic-type-theory <port>
# 访问 http://localhost:{port} 查看文档
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Close
Hashes for intuitionistic-type-theory-2024.3.2.0.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 760190127a21871473cff8d285c57784cd6b614c37320ac9cb6339c1bcdbc9d2 |
|
MD5 | 2c9433df72a82246db97057cb9a9a02a |
|
BLAKE2b-256 | 0688c65a8ce06a90aed7f36d33c456b87261a27dcbcb21135fe589e34434d52e |
Close
Hashes for intuitionistic_type_theory-2024.3.2.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 057da6442c28454fb1878918f26e1cd992e21fea4e3e8b1c881e429af50d28a3 |
|
MD5 | 2655eeca4163dafc0f3db4d8d1b3dad4 |
|
BLAKE2b-256 | 2a040b296b618ea039a5af267d04a29c6817d98e426f1ffb9da8a6f0bb4496b2 |