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

0.0.2

This version

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.1.tar.gz (10.6 kB view details)

Uploaded Source

Built Distributions

natural2lean_cli-0.0.1-py3.9.egg (1.5 kB view details)

Uploaded Source

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

Uploaded Python 3

File details

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

File metadata

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

File hashes

Hashes for natural2lean-cli-0.0.1.tar.gz
Algorithm Hash digest
SHA256 bb8c4af3b14a1afdd319c4862768c4dab05dd0a700c38353aba176cddcfa10af
MD5 bacf654687474cbf1eb6ea2e19b5be07
BLAKE2b-256 a0e658ef6c5be929119a5b7838fcf716a64e9bee44b44b8639faf44e6b5d3293

See more details on using hashes here.

File details

Details for the file natural2lean_cli-0.0.1-py3.9.egg.

File metadata

  • Download URL: natural2lean_cli-0.0.1-py3.9.egg
  • Upload date:
  • Size: 1.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.9.13

File hashes

Hashes for natural2lean_cli-0.0.1-py3.9.egg
Algorithm Hash digest
SHA256 c7797f097ac062559db7c5d4f22b60662bbe6640f4f5fcde857f3b7a52108080
MD5 c8f9d5aac556cc9cce92aae42d63dffe
BLAKE2b-256 af735e8cdb0eccee21385fa8845507f85795ecb77cb71451a0901806eacc29cb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for natural2lean_cli-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 23ff21cd8afc90f1c6ed6d9dd10b96ae93cb553600dfca2a1b0798418cae560d
MD5 5fbd0b83e3bc789520554fbb99c9cffd
BLAKE2b-256 1e29fbecf5b2d011d027916f30ba798f10db78f05031d1a9ea20861607aa4043

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