Skip to main content

MLTT

A Martin-Löf Type Theory implementation in Python.

Installation

Release files for mltt-resolver 0.1.0.0.2

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for mltt-resolver 0.1.0.0.2
File Size Uploaded
mltt_resolver-0.1.0.0.2.tar.gz 8.8 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for mltt-resolver 0.1.0.0.2
File Interpreter ABI Platform
mltt_resolver-0.1.0.0.2-py3-none-any.whl Python 3 none any Details

Total release size: 21.3 kB

Release files / mltt_resolver-0.1.0.0.2.tar.gz

Download URL mltt_resolver-0.1.0.0.2.tar.gz
Size 8.8 kB
Tags Source
SHA-256 checksum
How to use checksums
41342a0c80fc8d11bc5683937e2e9d8616b458a67e24c6f27a9a6648f47f573b
BLAKE2b-256 checksum
How to use checksums
18456f658e5fbc9c4b09f67e2ebda7dc69ab71f0df0282d61ce5a1694e670eb3
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.0.1 CPython/3.12.6

Release files / mltt_resolver-0.1.0.0.2-py3-none-any.whl

Download URL mltt_resolver-0.1.0.0.2-py3-none-any.whl
Size 12.5 kB
Tags Python 3
SHA-256 checksum
How to use checksums
c3a0560e37d84710aa72e8c16abbd73976f39115250d0c0f4d82a223e6a35882
BLAKE2b-256 checksum
How to use checksums
a01e9ee3f33961c480f357f05813123ec70c90c7f4335528462e351df77456b4
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.0.1 CPython/3.12.6

Release history Release notifications | RSS feed

This release

0.1.0.0.2 This release

2 release files

0.1.0

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page