2018-03-19 10:58:42 +09:00
2018-03-02 10:40:07 +09:00
2018-03-19 10:52:10 +09:00
2018-03-01 19:56:32 +09:00
2018-02-25 17:57:59 +09:00
2018-02-25 17:57:59 +09:00
2018-03-19 10:56:05 +09:00
2018-02-25 21:37:32 +09:00
2018-02-25 21:37:32 +09:00
2018-02-25 21:37:32 +09:00
2018-03-19 10:40:18 +09:00
2018-03-19 10:58:42 +09:00

proof-dictionary

This dictionary is for proofdict.

Usage

Add

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

Update

If you want to update the rule from your dictionary, you can edit it by following steps:

  1. Visit _data/proofdict
  2. Select the file for updating
  3. Edit the file by click Edit this file 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 Delete this file icon

Test

You can check your proof-dictionary is valid format.

Run following command in your local:

npm install
npm test
Description
No description provided
Readme 114 KiB
Languages
HTML 80.1%
Ruby 19.9%