Refactor and combine save_rule_dialog and save_proof_dialog.
#94
| Job | Run time |
|---|---|
| 54s | |
| 54s |
save_rule_dialog and save_proof_dialog.
#94
| Job | Run time |
|---|---|
| 54s | |
| 54s |