A Martin-Löf Type Theory implementation in Python
Project description
MLTT
A Martin-Löf Type Theory implementation in Python.
Installation
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
mltt_resolver-0.1.0.tar.gz
(5.3 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file mltt_resolver-0.1.0.tar.gz.
File metadata
- Download URL: mltt_resolver-0.1.0.tar.gz
- Upload date:
- Size: 5.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.0.1 CPython/3.12.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
575a2fe91f37fa8ea106b75d2e656b1133a02ae4cfb429f0be9623510cbd2fdc
|
|
| MD5 |
930c933624134f254afff895203248e9
|
|
| BLAKE2b-256 |
0c7b2e91d78ec8ed1bbfe56087fc473448c8df2917b32c1cb4163ce1a32beec0
|
File details
Details for the file mltt_resolver-0.1.0-py3-none-any.whl.
File metadata
- Download URL: mltt_resolver-0.1.0-py3-none-any.whl
- Upload date:
- Size: 7.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.0.1 CPython/3.12.6
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
48fdc1b0aba026b75fa9672edebbe08db588414b8b27bf47096b02fe0ceeae0b
|
|
| MD5 |
26285075f2c35003c679b9f90f824c60
|
|
| BLAKE2b-256 |
2faebcb285cf91b50c208522d42714c5ec0c8be569244fd467ae85fa50540ce3
|
