Summary
- build component for cvc5-latest (ef2bc3f735df);
- merged
- try proof method "order" in Sledgehammer's proof reconstruction
- added Mirabelle action "order"
- renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
- tuned proof
- added lemma order_reflclp_if_transp_and_asymp
- added lemmas antisym_on_reflcl_if_asym_on and antisymp_on_reflclp_if_asymp_on
- HOL-Library: added modulo/congruence for real numbers
- only print schedule if relevant;
- remove laziness: no need, and errors during initialization loop with close();
- more general definition of meromorphicity; Weierstraß factorisation theorem
- always provide build_database_server option in benchmark command;
- always check if node is defined, e.g. for exists_next operation wit empty schedule;