Refactor and combine save_rule_dialog and save_proof_dialog.
#105
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 11s |
save_rule_dialog and save_proof_dialog.
#105
| Job | Run time |
|---|---|
| 1m 11s | |
| 1m 11s |