mirror of
https://github.com/mii443/proof-dictionary.git
synced 2025-08-22 15:15:37 +00:00
01954d15129256014b2197b3077ecb51da4b5b6f
proof-dictionary
This dictionary is for proofdict.
Usage
Add
- Visit your editor page
- https://{your-github-account}.github.io/proof-dictionary/editor/
Update
- Visit _data/proofdict
- Select the file for updating
- Edit the file by click
icon
Remove
If you want to remove unnecessary rule from your dictionary, you can remove it by following steps:
- Visit _data/proofdict
- Select the file for removing
- Remove the file by click
icon
Test
You can test your proof-dictionary is valid format.
Run following command:
npm install
npm test
Description
Languages
HTML
80.1%
Ruby
19.9%