merge from afp-2021
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP7dde2c633ece: adjust to Ergodic_Theory changes
rAFPa2632f50a689: Ergodic_Theory: tuned some names - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- a2632f50a689 Ergodic_Theory: tuned some namesAuthor
- 0c442d6aa0ee new theoryAuthor
- c8b0217eb78a added link to paperAuthor
- 2666177c9ba9 added set cover by Robin EssmanAuthor
- f9be8b09e21b merge from afp-2021Author
- adb5f30f4f34 integrate RBT_Impl optimizationsAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged