diff options
| author | wkwkes | 2018-10-29 23:24:14 +0900 |
|---|---|---|
| committer | wkwkes | 2018-10-29 23:24:14 +0900 |
| commit | 6d5e38926fffc0c55cc088fc050b517ba5ef9e33 (patch) | |
| tree | 46373636c7b68cf2d22cdd3704b8d763278f1513 /dev/doc/proof-engine.md | |
| parent | 765c61d42e301c1f98c44b3986d73a052ca3a8c5 (diff) | |
Fix typos in the document about CIC
Diffstat (limited to 'dev/doc/proof-engine.md')
0 files changed, 0 insertions, 0 deletions