2023.212.0 • Published 1 year ago
intuitionistic-type-theory v2023.212.0
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} 查看文档
2023.212.0
1 year ago