proof-dictionary

This dictionary is for proofdict.

Usage

Add

1. Visit your editor page

• https://{your-github-account}.github.io/proof-dictionary/editor/

Update

1. Visit _data/proofdict
2. Select the file for updating
3. Edit the file by click icon

Remove

If you want to remove unnecessary rule from your dictionary, you can remove it by following steps:

1. Visit _data/proofdict
2. Select the file for removing
3. Remove the file by click icon

Test

You can test your proof-dictionary is valid format.

Run following command:

npm install
npm test