Tkinter app that acts as a GUI for IndieK software.
Installation
To install from PyPI: pip install indiek-gui
To develop, use the [dev] dependency specification, e.g.: pip install indiek-gui[dev]
Or from the cloned repo’s top-level in editable mode: pip install -e .[dev]
Quickstart
Call indiek-gui from your terminal to launch the GUI.
indiek-guiThis GUI enables you to create definitions, theorems and proofs, and store them on an mock Database. It offers you the possibility to persist the mock database to your file system as a JSON file, and to reload it later on.
Tests
To run the full test suite, type the following from the top level of this repo: pytest
1 maintainer
Metadata
1 maintainer
Release files for indiek-gui 0.0.5
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| indiek-gui-0.0.5.tar.gz | 22.1 kB | Details |
Release files / indiek-gui-0.0.5.tar.gz
| Download URL | indiek-gui-0.0.5.tar.gz |
|---|---|
| Size | 22.1 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
2e8665b75518b90a9738c68d1a4f7dd723212df1c0856d399e4f7c2aeaccea46
|
|
BLAKE2b-256 checksum How to use checksums |
03e3f6de50808a9e718b0bbae8e3c79534f44ec3a85c8d10ec9eaa7a75b3595f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.8.5
|
