Refactor and combine save_rule_dialog and save_proof_dialog.
#93
| Job | Run time |
|---|---|
| 55s | |
| 55s |
save_rule_dialog and save_proof_dialog.
#93
| Job | Run time |
|---|---|
| 55s | |
| 55s |