I would like to request the ability to add user-defined rules to the ruleset, such as creating custom rules for GDD. For example, allowing the use of certain theorems to prove problems. This feature would greatly enhance the flexibility and power of the ruleset.
I would like to request the ability to add user-defined rules to the ruleset, such as creating custom rules for GDD. For example, allowing the use of certain theorems to prove problems. This feature would greatly enhance the flexibility and power of the ruleset.