mii/proof-dictionary
1
0
Fork 0
mirror of https://github.com/mii443/proof-dictionary.git synced 2025-08-22 15:15:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
azu
2018-03-02 10:39:11 +09:00
committed by GitHub
parent d997725d69
commit 9657086dd9
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -1,5 +1,7 @@
# proof-dictionary
This dictionary is for [proofdict](https://github.com/proofdict/proofdict).
## Usage
## Add