Build #87 (Jan 16, 2022, 12:14:00 AM)

1. merged (detail)
2. split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir" (detail)
3. proper name mangling of "undefined" constants in Sledgehammer (detail)
4. earlier availability of lifting (detail)
5. more correct transfer (detail)
6. merged (detail)
7. proper abstraction of function variables when instantiating induction rules in Sledgehammer (detail)
8. added lemma asympD (detail)
9. added lemma (detail)
10. Some lemmas about continuous functions with integral zero (detail)

1. Tuning. (detail)
2. merged (detail)
3. tweaks (detail)
4. merged (detail)
5. Fixed an inadequate description (detail)
6. tuned (detail)
7. mv to distribution (detail)
8. by now in distribution (detail)
9. merge from afp-2021-1 (detail)
10. fixed abstract (detail)
11. tuned (detail)
12. website and metadata for Hyperdual (detail)
13. new entry: Hyperdual (detail)
14. sorted ROOTS (detail)
15. tuned (detail)
16. New entry Knights_Tour (detail)
17. more thoroughly replace Michael Foster's e-mail address (detail)
18. metadata and sitegen for Gale_Shapley (detail)
19. new entry Gale_Shapley (detail)
20. update Michael Forster's email address (detail)
21. metadata and sitegen for Roth_Arithmetic_Progressions (detail)
22. new entry Roth_Arithmetic_Progressions (detail)
23. typo (detail)
24. merged (detail)
25. New entry Regular_Tree_Relations (detail)
26. We DON'T want an output directory (detail)
27. MDP-Algorithms website (detail)
28. new entry MDP-Algorithms (detail)
29. typo (detail)
30. new entry MDP-Rewards (detail)
31. fixed typo (detail)

Started by timer

This run spent:

• 0.14 sec waiting;
• 17 hr build duration;
• 17 hr total from scheduled to completion.