Proof caching #3083
The changes in this PR allow for closing a goal by "reference" to another proof. Implemented features: - manually close by reference - automatically search for references when applying strategy - copy proof steps from referenced proof into new proof - automated test of new feature
Discussion points: - is it useful to have a manual action to close by reference? (currently in the proof context menu)
Testing on real proofs: - SumAndMax: first proven with 3/4 ensures clauses, then with all of them => 20 cached branches
Other changes: - Font Awesome is updated to version 6 for a new symbol
Artifacts
- 15. Jun 2023 14:29 (32259.67 kB large)
- 27. May 2023 17:42 (8018.72 kB large)
- 19. May 2023 09:43 (7973.12 kB large)
- 15. May 2023 08:20 (8020.60 kB large)
- 12. May 2023 09:13 (8019.21 kB large)
- 09. May 2023 08:41 (8009.63 kB large)
- 02. May 2023 16:30 (8005.36 kB large)
- 20. Apr 2023 14:15 (7963.87 kB large)
- 19. Apr 2023 16:17 (3707.95 kB large)
- 19. Apr 2023 14:13 (3655.88 kB large)
- 18. Apr 2023 15:25 (3708.71 kB large)
- 18. Apr 2023 15:15 (3709.22 kB large)
- 18. Apr 2023 08:46 (3656.58 kB large)
- 17. Apr 2023 09:50 (3702.57 kB large)
- 17. Apr 2023 09:24 (3701.42 kB large)
- 17. Apr 2023 09:09 (3977.11 kB large)
- 24. Mar 2023 10:08 (3724.13 kB large)
- 22. Mar 2023 12:24 (3446.83 kB large)
- 22. Mar 2023 12:05 (3445.02 kB large)
- 21. Mar 2023 16:18 (3446.38 kB large)