merge from AFP 2023
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP53eb60336313: sitegen for Wieferich Kempner
rAFPab07e3da55f1: merge from AFP 2023 - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP5023c947e95e: merge from AFP 2023.Mar 7 2024, 4:28 PM2024-03-07 16:28:48 (UTC+1)
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 845e35e9d4ad more accurate timeout;Author
- bdbc6a865570 non-executable files;Author
- efe28b85919e New version consistent with paperAuthor
- cd210b694fe0 tuned whitespace;Author
- 76d544195339 tuned whitespace;Author
- ddf90847bfa5 enable proof in session Lorenz_C1Author
- 9fe22db3f8a8 simplified proofsAuthor
- f47a01e6ab6d simplified proofAuthor
- 72cce11020f9 tuned proofsAuthor
- f5d6d7c7f38e Simpl: remove stray thm commandAuthor
- 3573cc4311ae merge from afp-2023Author
- ab51f294d5c1 A lot of tidyingAuthor
- 4134e514c27f Shortening some proofsAuthor
- b6e6c1df8c71 more realistic timeouts;Author