Topics:
- pycoq-egallego (12 messages, latest: Mar 03 2023 at 18:57)
- Automatically generated theorems (4 messages, latest: Feb 14 2023 at 14:15)
- Chat GPT (42 messages, latest: Feb 05 2023 at 21:09)
- stream events (2 messages, latest: Aug 25 2022 at 11:28)
- Installation of a diverse set of Coq package for ML (3 messages, latest: Aug 23 2022 at 14:29)
- miniF2F (9 messages, latest: May 11 2022 at 12:06)
- MathComp for AI "deeply flawed"? (28 messages, latest: Jan 22 2021 at 21:30)
- GPT-f (6 messages, latest: Sep 09 2020 at 17:35)
- AITP2020 (1 message, latest: Aug 31 2020 at 15:23)
- CoqGym/Tactician/ProverBot proofs contributed back (7 messages, latest: Aug 19 2020 at 17:15)
- Comparative evaluation (32 messages, latest: Aug 13 2020 at 20:00)
- Similar Stream on Lean Zulip (5 messages, latest: Aug 09 2020 at 13:55)
Last updated: Mar 25 2023 at 06:28 UTC