Proof reordering (WIP) #3141
Experiment to logically group steps in proof.
Artifacts
- 13. Jun 2023 16:49 (34565.90 kB large)
- 12. Jun 2023 08:26 (30586.53 kB large)
- 12. Jun 2023 08:14 (30625.15 kB large)
- 05. Jun 2023 08:29 (30083.58 kB large)
- 20. May 2023 16:09 (8004.83 kB large)
- 15. May 2023 10:03 (8004.36 kB large)