Zulip Chat Archive
Stream: nightly-testing
Topic: lean4checker
github mathlib4 bot (May 02 2025 at 01:36):
:check: lean4checker succeeded on b40a06417b06ce02e2cc5f687bb8649ff3d5a42d (branch: master)
github mathlib4 bot (May 07 2025 at 01:44):
:check: lean4checker succeeded on 554d794c8dbf32758e9a66527c898fe904933c56 (branch: nightly-testing-2025-05-06)
github mathlib4 bot (May 08 2025 at 01:42):
:check: lean4checker succeeded on a14c28b31a1787f81fa59756cded637bae0be55a (branch: nightly-testing-2025-05-07)
github mathlib4 bot (May 09 2025 at 01:43):
:check: lean4checker succeeded on c2eae28089486ed39cfecee5475e2293d28b08f0 (branch: nightly-testing-2025-05-08)
github mathlib4 bot (May 10 2025 at 01:43):
:check: lean4checker succeeded on 3008304e7959628b0759667dd5321149ae9b8100 (branch: nightly-testing-2025-05-09)
github mathlib4 bot (May 11 2025 at 01:42):
:check: lean4checker succeeded on a55bbf799c39feddc50a2a4d2464234ac89fea05 (branch: nightly-testing-2025-05-10)
github mathlib4 bot (May 12 2025 at 01:44):
:check: lean4checker succeeded on b16b8f3a78e46e7f35fd5b4a866742284af9aef3 (branch: nightly-testing-2025-05-11)
github mathlib4 bot (May 13 2025 at 01:42):
:check: lean4checker succeeded on 165f83afc42521e71d1da502c155bc5349f011c8 (branch: nightly-testing-2025-05-12)
github mathlib4 bot (May 13 2025 at 01:43):
:check: lean4checker succeeded on 165f83afc42521e71d1da502c155bc5349f011c8 (branch: master)
github mathlib4 bot (May 14 2025 at 01:38):
:check: lean4checker succeeded on 40fea0861ba6601f4dcbe6c92a916266009e9bd9 (branch: nightly-testing-2025-05-13)
github mathlib4 bot (May 14 2025 at 01:41):
:check: lean4checker succeeded on 40fea0861ba6601f4dcbe6c92a916266009e9bd9 (branch: master)
github mathlib4 bot (May 15 2025 at 01:39):
:check: lean4checker succeeded on d6c3a2d285e461d43a0bed7d7a2aa51fce4de3d9 (branch: master)
github mathlib4 bot (May 15 2025 at 01:42):
:check: lean4checker succeeded on d6c3a2d285e461d43a0bed7d7a2aa51fce4de3d9 (branch: nightly-testing-2025-05-13)
github mathlib4 bot (May 16 2025 at 01:39):
:check: lean4checker succeeded on 4551f5664b69a6e16aaad2ade073c9c0cd1b8639 (branch: nightly-testing-2025-05-14)
github mathlib4 bot (May 16 2025 at 01:40):
:check: lean4checker succeeded on 4551f5664b69a6e16aaad2ade073c9c0cd1b8639 (branch: master)
github mathlib4 bot (May 17 2025 at 01:39):
:check: lean4checker succeeded on 9bdfd589c45d38b4ac62a3494c82e29332a3bcdd (branch: nightly-testing-2025-05-16)
github mathlib4 bot (May 17 2025 at 01:41):
:check: lean4checker succeeded on 9bdfd589c45d38b4ac62a3494c82e29332a3bcdd (branch: master)
github mathlib4 bot (May 18 2025 at 01:39):
:check: lean4checker succeeded on e1e4c88cdfc425d90f1be5bb551596b6be9c2bb2 (branch: master)
github mathlib4 bot (May 18 2025 at 01:42):
:check: lean4checker succeeded on e1e4c88cdfc425d90f1be5bb551596b6be9c2bb2 (branch: nightly-testing-2025-05-17)
github mathlib4 bot (May 19 2025 at 01:39):
:check: lean4checker succeeded on ddbcd9d922a4534f7b639c85a5448778c17370e4 (branch: master)
github mathlib4 bot (May 19 2025 at 01:41):
:check: lean4checker succeeded on ddbcd9d922a4534f7b639c85a5448778c17370e4 (branch: nightly-testing-2025-05-17)
github mathlib4 bot (May 20 2025 at 01:40):
:check: lean4checker succeeded on 47c75ed1e841cc8d8abc91741e157704a073f253 (branch: nightly-testing-2025-05-19)
github mathlib4 bot (May 20 2025 at 01:46):
:check: lean4checker succeeded on 47c75ed1e841cc8d8abc91741e157704a073f253 (branch: master)
github mathlib4 bot (May 21 2025 at 01:42):
:check: lean4checker succeeded on 83f3832c6cfeecbc8d16b0248c98346956a7f0e5 (branch: master)
github mathlib4 bot (May 21 2025 at 01:43):
:check: lean4checker succeeded on 83f3832c6cfeecbc8d16b0248c98346956a7f0e5 (branch: nightly-testing-2025-05-19)
github mathlib4 bot (May 22 2025 at 01:37):
:check: lean4checker succeeded on 5ff9e3752adf5ffaed9d0dbb464449cf73d1c361 (branch: master)
github mathlib4 bot (May 22 2025 at 01:40):
:check: lean4checker succeeded on 5ff9e3752adf5ffaed9d0dbb464449cf73d1c361 (branch: nightly-testing-2025-05-21)
github mathlib4 bot (May 23 2025 at 01:39):
:check: lean4checker succeeded on b057c67c0905df3e5eabf70651a42625f05a56b9 (branch: master)
github mathlib4 bot (May 23 2025 at 01:41):
:check: lean4checker succeeded on b057c67c0905df3e5eabf70651a42625f05a56b9 (branch: nightly-testing-2025-05-22)
github mathlib4 bot (May 24 2025 at 01:37):
:check: lean4checker succeeded on 7ed4f8133a70f240f60891015f1df6d7bf6c8030 (branch: master)
github mathlib4 bot (May 24 2025 at 01:39):
:check: lean4checker succeeded on 7ed4f8133a70f240f60891015f1df6d7bf6c8030 (branch: nightly-testing-2025-05-22)
github mathlib4 bot (May 25 2025 at 01:41):
:check: lean4checker succeeded on bd15474dc857a20ad4b7e5538d572ec080b8e79e (branch: master)
github mathlib4 bot (May 25 2025 at 01:42):
:check: lean4checker succeeded on bd15474dc857a20ad4b7e5538d572ec080b8e79e (branch: nightly-testing-2025-05-24)
github mathlib4 bot (May 26 2025 at 01:42):
:check: lean4checker succeeded on 82012aca9087eccd1be07d4acf2e12207e88a92f (branch: master)
github mathlib4 bot (May 26 2025 at 01:46):
:check: lean4checker succeeded on 82012aca9087eccd1be07d4acf2e12207e88a92f (branch: nightly-testing-2025-05-25)
github mathlib4 bot (May 27 2025 at 01:39):
:check: lean4checker succeeded on 61de43dfb330ba44bc6ac5603a46cedc2583b583 (branch: nightly-testing-2025-05-26)
github mathlib4 bot (May 27 2025 at 01:45):
:check: lean4checker succeeded on 61de43dfb330ba44bc6ac5603a46cedc2583b583 (branch: master)
github mathlib4 bot (May 28 2025 at 01:40):
:check: lean4checker succeeded on 10f8754bb0880adf8d5c76e91c1959968709a264 (branch: master)
github mathlib4 bot (May 28 2025 at 01:45):
:check: lean4checker succeeded on 10f8754bb0880adf8d5c76e91c1959968709a264 (branch: nightly-testing-2025-05-27)
github mathlib4 bot (May 29 2025 at 01:39):
:check: lean4checker succeeded on b5423b71cf1e1bd16c3668e70af3f1568f5dc221 (branch: master)
github mathlib4 bot (May 29 2025 at 01:42):
:check: lean4checker succeeded on b5423b71cf1e1bd16c3668e70af3f1568f5dc221 (branch: nightly-testing-2025-05-27)
github mathlib4 bot (May 30 2025 at 01:39):
:check: lean4checker succeeded on 1a9b964b92509b9a757fd24bae6b6b9812443163 (branch: master)
github mathlib4 bot (May 30 2025 at 01:41):
:check: lean4checker succeeded on 1a9b964b92509b9a757fd24bae6b6b9812443163 (branch: nightly-testing-2025-05-28)
github mathlib4 bot (May 31 2025 at 01:43):
:check: lean4checker succeeded on 4459088658417ad4ec82b194da3184cbe638b7e0 (branch: master)
github mathlib4 bot (Jun 01 2025 at 01:44):
:check: lean4checker succeeded on 644a2302b0210c65cac2ba7497eba7f90a3cb803 (branch: master)
github mathlib4 bot (Jun 02 2025 at 01:39):
:check: lean4checker succeeded on ac7d8cf03db685fb9230d273bbe09ace3cc370df (branch: master)
github mathlib4 bot (Jun 03 2025 at 01:39):
:check: lean4checker succeeded on 2a41a7a16046114bc796131e0c9db11659acaf70 (branch: master)
github mathlib4 bot (Jun 03 2025 at 01:42):
:check: lean4checker succeeded on 2a41a7a16046114bc796131e0c9db11659acaf70 (branch: nightly-testing-2025-06-02)
github mathlib4 bot (Jun 04 2025 at 01:44):
:check: lean4checker succeeded on 6189bf8adfc456eea59cf1159e3b9621799f1886 (branch: nightly-testing-2025-06-03)
github mathlib4 bot (Jun 04 2025 at 01:48):
:check: lean4checker succeeded on 6189bf8adfc456eea59cf1159e3b9621799f1886 (branch: master)
github mathlib4 bot (Jun 05 2025 at 01:41):
:check: lean4checker succeeded on 71aa47755e41cb75ac0fe8f15d4dd334cacc6dc7 (branch: master)
github mathlib4 bot (Jun 05 2025 at 01:44):
:check: lean4checker succeeded on 71aa47755e41cb75ac0fe8f15d4dd334cacc6dc7 (branch: nightly-testing-2025-06-04)
github mathlib4 bot (Jun 06 2025 at 01:39):
:check: lean4checker succeeded on e753bac5b48bb6709ce91da380df24b2f04120b1 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 06 2025 at 01:42):
:check: lean4checker succeeded on e753bac5b48bb6709ce91da380df24b2f04120b1 (branch: master)
github mathlib4 bot (Jun 07 2025 at 01:41):
:check: lean4checker succeeded on 730e4db21155a3faee9cadd55d244dbf72f06391 (branch: master)
github mathlib4 bot (Jun 07 2025 at 01:42):
:check: lean4checker succeeded on 730e4db21155a3faee9cadd55d244dbf72f06391 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 08 2025 at 01:43):
:check: lean4checker succeeded on bb076f5f2d39b534b917755b0338314b6714304b (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 08 2025 at 01:43):
:check: lean4checker succeeded on bb076f5f2d39b534b917755b0338314b6714304b (branch: master)
github mathlib4 bot (Jun 09 2025 at 01:42):
:check: lean4checker succeeded on 8b8fe2fa631658e55895b284747a997a249d3599 (branch: master)
github mathlib4 bot (Jun 09 2025 at 01:45):
:check: lean4checker succeeded on 8b8fe2fa631658e55895b284747a997a249d3599 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 10 2025 at 01:40):
:check: lean4checker succeeded on 30b4d6e87eaaa93450a25e8ad795bf3596275589 (branch: master)
github mathlib4 bot (Jun 10 2025 at 01:40):
:check: lean4checker succeeded on 30b4d6e87eaaa93450a25e8ad795bf3596275589 (branch: nightly-testing-2025-06-05)
github mathlib4 bot (Jun 11 2025 at 01:40):
:check: lean4checker succeeded on 853aa9e9be1affcd90daad6d3a9e05fcb739885c (branch: master)
github mathlib4 bot (Jun 12 2025 at 01:41):
:check: lean4checker succeeded on d596d8c5bbf4a4a56c9d8f2214d1905e0a1b2c30 (branch: master)
github mathlib4 bot (Jun 13 2025 at 01:40):
:check: lean4checker succeeded on 04defa097355b5354bc614e78d62381915de05c3 (branch: master)
github mathlib4 bot (Jun 13 2025 at 01:44):
:check: lean4checker succeeded on 04defa097355b5354bc614e78d62381915de05c3 (branch: nightly-testing-2025-06-12)
github mathlib4 bot (Jun 14 2025 at 01:39):
:check: lean4checker succeeded on 500dfe433a366d409a53a24ac6d8707b1fad58df (branch: master)
github mathlib4 bot (Jun 14 2025 at 01:44):
:check: lean4checker succeeded on 500dfe433a366d409a53a24ac6d8707b1fad58df (branch: nightly-testing-2025-06-12)
github mathlib4 bot (Jun 15 2025 at 01:43):
:check: lean4checker succeeded on ad1b437587a1dbcc0b22624cb0ae9208d206508a (branch: master)
github mathlib4 bot (Jun 15 2025 at 01:44):
:check: lean4checker succeeded on ad1b437587a1dbcc0b22624cb0ae9208d206508a (branch: nightly-testing-2025-06-12)
github mathlib4 bot (Jun 16 2025 at 01:41):
:check: lean4checker succeeded on 8744850cc139c0d23086fdabad638f970a983bce (branch: master)
github mathlib4 bot (Jun 16 2025 at 01:45):
:check: lean4checker succeeded on 8744850cc139c0d23086fdabad638f970a983bce (branch: nightly-testing-2025-06-15)
github mathlib4 bot (Jun 17 2025 at 01:42):
:check: lean4checker succeeded on 953440dbe5b77d9a00996d6c216a2605a70b5560 (branch: master)
github mathlib4 bot (Jun 17 2025 at 01:44):
:check: lean4checker succeeded on 953440dbe5b77d9a00996d6c216a2605a70b5560 (branch: nightly-testing-2025-06-16)
github mathlib4 bot (Jun 18 2025 at 01:44):
:check: lean4checker succeeded on 1d8d0c7a970a07723db964ad82711708173b1eef (branch: master)
github mathlib4 bot (Jun 18 2025 at 01:53):
:check: lean4checker succeeded on 1d8d0c7a970a07723db964ad82711708173b1eef (branch: nightly-testing-2025-06-17)
github mathlib4 bot (Jun 19 2025 at 01:41):
:check: lean4checker succeeded on 2b29188515c6bf63a547a0dc0af2f536dc5496a7 (branch: master)
github mathlib4 bot (Jun 19 2025 at 01:43):
:check: lean4checker succeeded on 2b29188515c6bf63a547a0dc0af2f536dc5496a7 (branch: nightly-testing-2025-06-18)
github mathlib4 bot (Jun 20 2025 at 01:41):
:check: lean4checker succeeded on 11c6fbd61e7ad45f5b09ec03688b1faebd8c6bc5 (branch: master)
github mathlib4 bot (Jun 20 2025 at 01:42):
:check: lean4checker succeeded on 11c6fbd61e7ad45f5b09ec03688b1faebd8c6bc5 (branch: nightly-testing-2025-06-19)
github mathlib4 bot (Jun 21 2025 at 01:42):
:check: lean4checker succeeded on 2e2176e9279788752d782f0dfa3a33a15ef44e71 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 21 2025 at 01:43):
:check: lean4checker succeeded on 2e2176e9279788752d782f0dfa3a33a15ef44e71 (branch: master)
github mathlib4 bot (Jun 22 2025 at 01:43):
:check: lean4checker succeeded on e2f8bf7b23d89378826e81b4404891f7291233a8 (branch: master)
github mathlib4 bot (Jun 22 2025 at 01:45):
:check: lean4checker succeeded on e2f8bf7b23d89378826e81b4404891f7291233a8 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 23 2025 at 01:58):
:check: lean4checker succeeded on dfe27eb22938975e824222cf1b326c7561de3e93 (branch: master)
github mathlib4 bot (Jun 23 2025 at 01:59):
:check: lean4checker succeeded on dfe27eb22938975e824222cf1b326c7561de3e93 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 24 2025 at 01:42):
:check: lean4checker succeeded on 108ee02a4eb855638a535bcc8d97d4b698d08e65 (branch: master)
github mathlib4 bot (Jun 24 2025 at 01:43):
:check: lean4checker succeeded on 108ee02a4eb855638a535bcc8d97d4b698d08e65 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 25 2025 at 01:40):
:check: lean4checker succeeded on 1b03e7b14ec4cb0450bbb284076d9d9ba88c04df (branch: master)
github mathlib4 bot (Jun 25 2025 at 01:45):
:check: lean4checker succeeded on 1b03e7b14ec4cb0450bbb284076d9d9ba88c04df (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 26 2025 at 01:43):
:check: lean4checker succeeded on 6e08340fe7c928dd55c20625ccf419477f5dd106 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 26 2025 at 01:44):
:check: lean4checker succeeded on 6e08340fe7c928dd55c20625ccf419477f5dd106 (branch: master)
github mathlib4 bot (Jun 27 2025 at 01:42):
:check: lean4checker succeeded on dfa7ff85a62d00f94497951a7dfd8c4a0256aa62 (branch: master)
github mathlib4 bot (Jun 27 2025 at 01:43):
:check: lean4checker succeeded on dfa7ff85a62d00f94497951a7dfd8c4a0256aa62 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 28 2025 at 01:41):
:check: lean4checker succeeded on f3731eaabfa91f8610f09b48be38213d6c16d171 (branch: master)
github mathlib4 bot (Jun 28 2025 at 01:47):
:check: lean4checker succeeded on f3731eaabfa91f8610f09b48be38213d6c16d171 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 29 2025 at 01:43):
:check: lean4checker succeeded on c953365ada3698540d5e4906b4c590559b87c212 (branch: master)
github mathlib4 bot (Jun 29 2025 at 01:47):
:check: lean4checker succeeded on c953365ada3698540d5e4906b4c590559b87c212 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 30 2025 at 01:48):
:check: lean4checker succeeded on 162202c5458b6c4de7f8f418197dea84aff96ec5 (branch: nightly-testing-2025-06-20)
github mathlib4 bot (Jun 30 2025 at 01:49):
:check: lean4checker succeeded on 162202c5458b6c4de7f8f418197dea84aff96ec5 (branch: master)
github mathlib4 bot (Jul 01 2025 at 01:46):
:check: lean4checker succeeded on 96db0ceb66e5b4d468a52c4c5fc5ac57cc6f8bd9 (branch: master)
github mathlib4 bot (Jul 02 2025 at 01:33):
:check: lean4checker succeeded on 2d1d08870598f86de8f9ca84096c7be87393955e (branch: master)
github mathlib4 bot (Jul 03 2025 at 01:32):
:check: lean4checker succeeded on 2eda5e7435c2e3e23f7b195a49c4e7043d863533 (branch: master)
github mathlib4 bot (Jul 04 2025 at 01:32):
:check: lean4checker succeeded on ede29a38dfb2b9841d4898ff4525e9504667a057 (branch: master)
github mathlib4 bot (Jul 05 2025 at 01:31):
:check: lean4checker succeeded on 0faf9c7e5dce691f1a9e2e5dc1aa2499e9acb2e0 (branch: master)
github mathlib4 bot (Jul 06 2025 at 01:34):
:check: lean4checker succeeded on 4ed2ceba51063e4887ef21baa38f709d1661c301 (branch: master)
github mathlib4 bot (Jul 07 2025 at 01:36):
:check: lean4checker succeeded on d3c315dc6c0723c2a561fd5439cfad56722f412b (branch: master)
github mathlib4 bot (Jul 08 2025 at 01:31):
:check: lean4checker succeeded on 7e05fd873e316333cfff5f644da91ebd62993dee (branch: master)
github mathlib4 bot (Jul 09 2025 at 01:33):
:check: lean4checker succeeded on fb6a587d402f3b0288e4784fa2f6d5ff7c41d1e7 (branch: master)
github mathlib4 bot (Jul 10 2025 at 01:40):
:check: lean4checker succeeded on 97e6e3577558f501ae6f8b6128ddfc329ee5ad2a (branch: master)
github mathlib4 bot (Jul 11 2025 at 01:35):
:check: lean4checker succeeded on d19cd93f3db24ca3a2ab957c266dd7e1ce2110fa (branch: master)
github mathlib4 bot (Jul 12 2025 at 01:32):
:check: lean4checker succeeded on ba454ce1f3d3aabc948e53f57d8f06854c4f6eb1 (branch: master)
github mathlib4 bot (Jul 13 2025 at 01:35):
:check: lean4checker succeeded on a4ebcd794d82f768641a4038a78a8851e77a6561 (branch: master)
github mathlib4 bot (Jul 14 2025 at 01:34):
:check: lean4checker succeeded on fd96d2d94a0d2189bf9954f90f66d0afe1e01549 (branch: master)
github mathlib4 bot (Jul 15 2025 at 01:34):
:check: lean4checker succeeded on 507dd92b9ed9cfd43bd29d1438a458da6705d8a0 (branch: master)
github mathlib4 bot (Jul 16 2025 at 01:35):
:check: lean4checker succeeded on 3a0740877285c805a03d44b40df45106225dc21b (branch: master)
github mathlib4 bot (Jul 17 2025 at 01:34):
:check: lean4checker succeeded on c728e645fccf7166c3ac71ce0c1ca1a32c10a268 (branch: master)
github mathlib4 bot (Jul 18 2025 at 01:34):
:check: lean4checker succeeded on bc70da8fd1d791a61ad9089b6a8da1dc671b9198 (branch: master)
github mathlib4 bot (Jul 19 2025 at 01:34):
:check: lean4checker succeeded on f1fa81263df46efbfc4d51ae3dd003886cb0b75b (branch: master)
github mathlib4 bot (Jul 20 2025 at 01:36):
:check: lean4checker succeeded on 6ba5988137ea253926c083cf7aab9c552ba570a5 (branch: master)
github mathlib4 bot (Jul 21 2025 at 01:35):
:check: lean4checker succeeded on 82ecf95ecd3b4a4620b9cfca5e027cffa258ee22 (branch: master)
github mathlib4 bot (Jul 22 2025 at 01:35):
:check: lean4checker succeeded on bfeab816b74212c75960b441175e5f4e10868a5e (branch: master)
github mathlib4 bot (Jul 23 2025 at 01:35):
:check: lean4checker succeeded on 4b54a1d2ef9bf61679ddceab6bcf91163342d641 (branch: master)
Notification Bot (Jul 23 2025 at 06:08):
This topic was moved here from #mathlib reviewers > lean4checker by Kim Morrison.
github mathlib4 bot (Jul 24 2025 at 01:35):
:check: lean4checker succeeded on 8b7eb3d9b238206030ddc23cd407d0c82db0b922 (branch: master)
github mathlib4 bot (Jul 25 2025 at 01:34):
:check: lean4checker succeeded on 962b24680e61db073c65145453113f3050db540e (branch: master)
github mathlib4 bot (Jul 26 2025 at 01:34):
:check: lean4checker succeeded on 8271ba972112005e0dbee353ad6d5c4f1ee1c537 (branch: master)
github mathlib4 bot (Jul 27 2025 at 01:37):
:check: lean4checker succeeded on 5ebccb65951c70539ba1c36e53e079ac28b3fd23 (branch: master)
github mathlib4 bot (Jul 28 2025 at 01:37):
:check: lean4checker succeeded on c9e3dfadd09712e4b3345adec7b5eeb60fa73ed6 (branch: master)
github mathlib4 bot (Jul 29 2025 at 01:37):
:check: lean4checker succeeded on 3f4becefab5f8840377899b2ef99d9ffa2a4453f (branch: master)
github mathlib4 bot (Jul 29 2025 at 01:38):
:check: lean4checker succeeded on 3f4becefab5f8840377899b2ef99d9ffa2a4453f (branch: )
github mathlib4 bot (Jul 30 2025 at 01:35):
:check: lean4checker succeeded on 0465630e7f38a4644092f2449225074504ace277 (branch: )
github mathlib4 bot (Jul 30 2025 at 01:36):
:check: lean4checker succeeded on 0465630e7f38a4644092f2449225074504ace277 (branch: master)
github mathlib4 bot (Jul 31 2025 at 01:33):
:check: lean4checker succeeded on cdda99e28c346d76ced75ff0e3a90c33e254b760 (branch: master)
github mathlib4 bot (Jul 31 2025 at 01:35):
:check: lean4checker succeeded on cdda99e28c346d76ced75ff0e3a90c33e254b760 (branch: )
github mathlib4 bot (Aug 01 2025 at 01:37):
:check: lean4checker succeeded on 2986ee049cefbe8ad332215f02d2ae02809d453f (branch: master)
github mathlib4 bot (Aug 01 2025 at 01:38):
:check: lean4checker succeeded on 2986ee049cefbe8ad332215f02d2ae02809d453f (branch: )
github mathlib4 bot (Aug 02 2025 at 01:34):
:check: lean4checker succeeded on 211b784a46c8bae154f0af65ef91bb48ef7cf182 (branch: master)
github mathlib4 bot (Aug 02 2025 at 01:35):
:check: lean4checker succeeded on 211b784a46c8bae154f0af65ef91bb48ef7cf182 (branch: )
github mathlib4 bot (Aug 03 2025 at 01:38):
:check: lean4checker succeeded on d0323fbd4847bee8be9d559fea54f884a3438f17 (branch: master)
github mathlib4 bot (Aug 03 2025 at 01:38):
:check: lean4checker succeeded on d0323fbd4847bee8be9d559fea54f884a3438f17 (branch: )
github mathlib4 bot (Aug 04 2025 at 01:36):
:check: lean4checker succeeded on 702b073d55be0b7fc9d1c02672d0096850eda054 (branch: master)
github mathlib4 bot (Aug 04 2025 at 01:36):
:check: lean4checker succeeded on 702b073d55be0b7fc9d1c02672d0096850eda054 (branch: )
github mathlib4 bot (Aug 05 2025 at 01:35):
:check: lean4checker succeeded on b24ea3236395f55fd933f366b3046be6c69925b8 (branch: master)
github mathlib4 bot (Aug 05 2025 at 01:36):
:check: lean4checker succeeded on b24ea3236395f55fd933f366b3046be6c69925b8 (branch: )
github mathlib4 bot (Aug 06 2025 at 01:34):
:check: lean4checker succeeded on 9845f69f51ffdf6b35704cbf1793f82a047ab2b6 (branch: master)
github mathlib4 bot (Aug 06 2025 at 01:37):
:check: lean4checker succeeded on 9845f69f51ffdf6b35704cbf1793f82a047ab2b6 (branch: )
github mathlib4 bot (Aug 07 2025 at 01:34):
:check: lean4checker succeeded on d79083011bf27cf9517ae2aac60c45c48f2b5d77 (branch: master)
github mathlib4 bot (Aug 07 2025 at 01:35):
:check: lean4checker succeeded on d79083011bf27cf9517ae2aac60c45c48f2b5d77 (branch: )
github mathlib4 bot (Aug 08 2025 at 01:34):
:check: lean4checker succeeded on 08ab79b45202df3508350e0b77c2dcbd7dcd98b5 (branch: master)
github mathlib4 bot (Aug 08 2025 at 01:37):
:check: lean4checker succeeded on 08ab79b45202df3508350e0b77c2dcbd7dcd98b5 (branch: )
github mathlib4 bot (Aug 09 2025 at 01:33):
:check: lean4checker succeeded on 8623f65b7577fe5279721203b65cd2fa05f1e7d2 (branch: master)
github mathlib4 bot (Aug 09 2025 at 01:35):
:check: lean4checker succeeded on 8623f65b7577fe5279721203b65cd2fa05f1e7d2 (branch: )
github mathlib4 bot (Aug 10 2025 at 01:38):
:check: lean4checker succeeded on 632465e4b02cb70a5dfa4cfe15468e8a62c2bd85 (branch: )
github mathlib4 bot (Aug 10 2025 at 01:38):
:check: lean4checker succeeded on 632465e4b02cb70a5dfa4cfe15468e8a62c2bd85 (branch: master)
github mathlib4 bot (Aug 11 2025 at 01:38):
:check: lean4checker succeeded on 00a5ef39c56c192564ce42fbc20fc3591669364b (branch: master)
github mathlib4 bot (Aug 11 2025 at 01:39):
:check: lean4checker succeeded on 00a5ef39c56c192564ce42fbc20fc3591669364b (branch: )
github mathlib4 bot (Aug 12 2025 at 01:35):
:check: lean4checker succeeded on 19dc2a90dbb8d46c0deb4dca6e8afcdfc9ae06ea (branch: master)
github mathlib4 bot (Aug 12 2025 at 01:37):
:check: lean4checker succeeded on 19dc2a90dbb8d46c0deb4dca6e8afcdfc9ae06ea (branch: )
github mathlib4 bot (Aug 13 2025 at 01:35):
:check: lean4checker succeeded on 1b235f6e15971191af339e5d298e8e06aa1c208d (branch: )
github mathlib4 bot (Aug 13 2025 at 01:36):
:check: lean4checker succeeded on 1b235f6e15971191af339e5d298e8e06aa1c208d (branch: master)
github mathlib4 bot (Aug 14 2025 at 01:35):
:check: lean4checker succeeded on 89b7100a6b05e53ee47fc3c1f4bdb114ee2799a6 (branch: master)
github mathlib4 bot (Aug 14 2025 at 01:36):
:check: lean4checker succeeded on 89b7100a6b05e53ee47fc3c1f4bdb114ee2799a6 (branch: )
github mathlib4 bot (Aug 15 2025 at 01:35):
:check: lean4checker succeeded on 609d272edfd5551eb8e72bfa5ac49fd42bdf7182 (branch: )
github mathlib4 bot (Aug 15 2025 at 01:40):
:check: lean4checker succeeded on 609d272edfd5551eb8e72bfa5ac49fd42bdf7182 (branch: master)
github mathlib4 bot (Aug 16 2025 at 01:42):
:check: lean4checker succeeded on 595c2c615b545c3421ac5f8b568efee290e73962 (branch: )
github mathlib4 bot (Aug 16 2025 at 01:42):
:check: lean4checker succeeded on 595c2c615b545c3421ac5f8b568efee290e73962 (branch: master)
github mathlib4 bot (Aug 17 2025 at 01:44):
:check: lean4checker succeeded on 593962960e4910da0d0597910c3288ec1c821c82 (branch: )
github mathlib4 bot (Aug 17 2025 at 01:45):
:check: lean4checker succeeded on 593962960e4910da0d0597910c3288ec1c821c82 (branch: master)
github mathlib4 bot (Aug 18 2025 at 01:45):
:check: lean4checker succeeded on e128198aec7b902f875f8c17ffc6d590d18d0d48 (branch: master)
github mathlib4 bot (Aug 18 2025 at 01:50):
:check: lean4checker succeeded on e128198aec7b902f875f8c17ffc6d590d18d0d48 (branch: )
github mathlib4 bot (Aug 19 2025 at 01:42):
:check: lean4checker succeeded on ea164ea50e661d88b461778418e8cee806e12940 (branch: master)
github mathlib4 bot (Aug 19 2025 at 01:47):
:check: lean4checker succeeded on ea164ea50e661d88b461778418e8cee806e12940 (branch: )
github mathlib4 bot (Aug 20 2025 at 01:39):
:check: lean4checker succeeded on 8bb991a4a08f76e3acc412600e834b09ec9d55b4 (branch: master)
github mathlib4 bot (Aug 20 2025 at 01:52):
:check: lean4checker succeeded on 8bb991a4a08f76e3acc412600e834b09ec9d55b4 (branch: )
github mathlib4 bot (Oct 18 2025 at 01:47):
:check: lean4checker succeeded on a77a0aeac5e8e691c32a65b878b02574930b5f90 (branch: master)
github mathlib4 bot (Oct 19 2025 at 01:51):
:check: lean4checker succeeded on 5c98c223ad372ac3992aa23bd2a4a67cd6a9b13f (branch: master)
github mathlib4 bot (Oct 20 2025 at 01:49):
:check: lean4checker succeeded on 9e574589c15b3b233d3223f1b35871a798cc2748 (branch: master)
github mathlib4 bot (Oct 21 2025 at 01:48):
:check: lean4checker succeeded on 560872a203ef726bf76117856ece2872f8cff918 (branch: master)
github mathlib4 bot (Oct 22 2025 at 01:39):
:check: lean4checker succeeded on 4994494bf98173a5175569e85b6f5241e0c6085c (branch: master)
github mathlib4 bot (Oct 23 2025 at 01:51):
:check: lean4checker succeeded on 0a7093c05f7e127e28ad1225001269ad06a4b2f8 (branch: master)
github mathlib4 bot (Dec 12 2025 at 11:59):
:check: lean4checker succeeded on c671bc4215d64bd9cc8a84fdec9a12bd33fdcd26 (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 13 2025 at 02:59):
:check: lean4checker succeeded on 3f5aae8dc2d83cdd3214e158c2b34a756281e3c2 (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 14 2025 at 03:12):
:check: lean4checker succeeded on 1825e179b30947af23f9c93dc7a85e1ca90ef25f (branch: master)
github mathlib4 bot (Dec 14 2025 at 03:35):
:check: lean4checker succeeded on 1825e179b30947af23f9c93dc7a85e1ca90ef25f (branch: nightly-testing-2025-12-10)
github mathlib4 bot (Dec 15 2025 at 03:14):
:check: lean4checker succeeded on e7f9e396b9790970bc57d66bfec6091676938f27 (branch: nightly-testing-2025-12-14)
github mathlib4 bot (Dec 15 2025 at 03:15):
:check: lean4checker succeeded on e7f9e396b9790970bc57d66bfec6091676938f27 (branch: master)
github mathlib4 bot (Dec 16 2025 at 03:03):
:check: lean4checker succeeded on fe3134f0c3508d2fd6394307be226ffa9b8cb4ba (branch: master)
github mathlib4 bot (Dec 16 2025 at 03:03):
:check: lean4checker succeeded on fe3134f0c3508d2fd6394307be226ffa9b8cb4ba (branch: nightly-testing-2025-12-15)
github mathlib4 bot (Dec 17 2025 at 02:58):
:check: lean4checker succeeded on 9222d7332b6237a8f1e87e9622c7d17498da5d64 (branch: nightly-testing-2025-12-16)
github mathlib4 bot (Dec 17 2025 at 03:37):
:check: lean4checker succeeded on 9222d7332b6237a8f1e87e9622c7d17498da5d64 (branch: master)
github mathlib4 bot (Dec 19 2025 at 02:47):
:check: lean4checker succeeded on 73dba97f7a0d5253d0c0518003b7aa4bc1bc6a58 (branch: nightly-testing-2025-12-17)
Last updated: Dec 20 2025 at 21:32 UTC