Command line interface for natural2lean package

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for Augustindou from gravatar.com Augustindou

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License (MIT License Copyright (c) 2022 Augustindou Permission is hereby granted, free of charge, to any pers...)
  • Author: Augustin d'Oultremont
  • Tags auto-formalization, parser, interactive
  • Requires: Python >=3.9
Classifiers

Project description

natural2lean-cli

Simple command line interface for natural2lean

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for Augustindou from gravatar.com Augustindou

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License (MIT License Copyright (c) 2022 Augustindou Permission is hereby granted, free of charge, to any pers...)
  • Author: Augustin d'Oultremont
  • Tags auto-formalization, parser, interactive
  • Requires: Python >=3.9
Classifiers

Release history Release notifications | RSS feed

This version

0.0.2

0.0.1

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

natural2lean-cli-0.0.2.tar.gz (7.3 kB view details)

Uploaded Source

Built Distribution

natural2lean_cli-0.0.2-py3-none-any.whl (8.2 kB view details)

Uploaded Python 3

File details

Details for the file natural2lean-cli-0.0.2.tar.gz.

File metadata

  • Download URL: natural2lean-cli-0.0.2.tar.gz
  • Upload date:
  • Size: 7.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.9.12

File hashes

Hashes for natural2lean-cli-0.0.2.tar.gz
Algorithm Hash digest
SHA256 dcfec24ca40acc511d1ad3e9280e6013ec5d4bc8a51603366198001cf364970d
MD5 41c64216c8e41bab23ea8f3111e4a957
BLAKE2b-256 99991ebb1cbfe49848831988baba4eafa1b9107db97ac09c63cc80e9e9ae68b7

See more details on using hashes here.

File details

Details for the file natural2lean_cli-0.0.2-py3-none-any.whl.

File metadata

File hashes

Hashes for natural2lean_cli-0.0.2-py3-none-any.whl
Algorithm Hash digest
SHA256 a6041efe4a9d2543df350dcb1ecc4fcad3fa5831bde815994cc46ab8f3701142
MD5 cef69edf70bcdc541c3928004e835a9a
BLAKE2b-256 d9b92c3f15b7a1251b74d65b18b9ad261f71a1251cc13426ccb39d3e18b0522f

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page