Tkinter GUI for IndieK
Project description
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
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
indiek-gui-0.0.5.tar.gz
(22.1 kB
view hashes)
