jixia


Namejixia JSON
Version 1.0.0a0 PyPI version JSON
download
home_pageNone
SummaryPython binding for jixia
upload_time2025-03-01 03:40:38
maintainerNone
docs_urlNone
authorNone
requires_python>=3.11
licenseNone
keywords lean programming language proof assistant
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            jixia_py
===

The Python binding of [jixia](https://github.com/frenzymath/jixia).
            

Raw data

            {
    "_id": null,
    "home_page": null,
    "name": "jixia",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.11",
    "maintainer_email": null,
    "keywords": "lean, programming language, proof assistant",
    "author": null,
    "author_email": "Tony Beta Lambda <tonybetalambda@gmail.com>",
    "download_url": "https://files.pythonhosted.org/packages/fb/20/79d6236a486fa24630dda2d6196f03eded24e9fb5b2c820d7f5fd3d3dfed/jixia-1.0.0a0.tar.gz",
    "platform": null,
    "description": "jixia_py\n===\n\nThe Python binding of [jixia](https://github.com/frenzymath/jixia).",
    "bugtrack_url": null,
    "license": null,
    "summary": "Python binding for jixia",
    "version": "1.0.0a0",
    "project_urls": {
        "Source": "https://github.com/frenzymath/jixia_py"
    },
    "split_keywords": [
        "lean",
        " programming language",
        " proof assistant"
    ],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "083f1cd4bfaa4c1bb3b0ef2c235c92172717bcc61f406d028ed217c54c7c55fb",
                "md5": "d31eaeab13de44a58febd5d528ec3d9a",
                "sha256": "b9a9075c76e3d530c53afb15b4c0971cff972727356ae85459daa00e458fa557"
            },
            "downloads": -1,
            "filename": "jixia-1.0.0a0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "d31eaeab13de44a58febd5d528ec3d9a",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.11",
            "size": 6748,
            "upload_time": "2025-03-01T03:40:36",
            "upload_time_iso_8601": "2025-03-01T03:40:36.172817Z",
            "url": "https://files.pythonhosted.org/packages/08/3f/1cd4bfaa4c1bb3b0ef2c235c92172717bcc61f406d028ed217c54c7c55fb/jixia-1.0.0a0-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "fb2079d6236a486fa24630dda2d6196f03eded24e9fb5b2c820d7f5fd3d3dfed",
                "md5": "686245d29ba3ed3251f2e919448365d8",
                "sha256": "401e45029684dd3c5db183a29ecce7d9262aba56b5a8e2b0b8eaabaeed6c1281"
            },
            "downloads": -1,
            "filename": "jixia-1.0.0a0.tar.gz",
            "has_sig": false,
            "md5_digest": "686245d29ba3ed3251f2e919448365d8",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.11",
            "size": 10615,
            "upload_time": "2025-03-01T03:40:38",
            "upload_time_iso_8601": "2025-03-01T03:40:38.294669Z",
            "url": "https://files.pythonhosted.org/packages/fb/20/79d6236a486fa24630dda2d6196f03eded24e9fb5b2c820d7f5fd3d3dfed/jixia-1.0.0a0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-03-01 03:40:38",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "frenzymath",
    "github_project": "jixia_py",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": false,
    "lcname": "jixia"
}
        
Elapsed time: 0.52435s