proofdict icon indicating copy to clipboard operation
proofdict copied to clipboard
verified publisher icon proofdict

Terminology

Open azu opened this issue 8 years ago • 1 comments

  • Dictionary(Dict): It is a aggregate of rules:
  • Rule: It is a parts of Dictionary.

Structure:

  • DIctionary X
    • Rule A
    • Rule B
  • DIctionary Y
    • Rule C
    • Rule D

azu avatar Feb 25 '18 15:02 azu

We need to put these term to document. CONTRIBUTION.md?

azu avatar Nov 10 '18 13:11 azu