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"
}