A tool to create, edit and print formal Z-notation documents.

Try out the Demo.

• Features
• Getting started
  • Prerequisites
  • Install
  • Build
  • Start
• Contributing
• Future plans
• License

• Z-Editor supports following notations in the toolbar,
  • Schemas
  • Logics
  • Sets
  • Relations
  • Functions
  • Sequences
  • Bags
• Download Z-Editor work as a PDF or a z file.
• Import a z file to the editor and continue work.
• Iconic schemas were created using Prosemirror blocks.
• Rich Text Utilities.

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes.

• git
• yarn

git clone https://github.com/Z-Editor/Z-Editor.git
cd Z-Editor
yarn install

yarn run build

yarn run dev

• We would greatly appreciate any contribution you make.
• If you have ideas for more functionality or recipes that should be on this project, let us know.

• Add page breaker lines.
• Improve unit tests.

Z-Editor is under the MIT license. See the License for more information.