Topics:
- stream events (2 messages, latest: May 02 2022 at 08:43)
- gitlab.io website offline? (14 messages, latest: Dec 08 2020 at 21:18)
- [M] Panel on automation (62 messages, latest: Jul 11 2020 at 14:03)
- [M] Stdlib (was part of Session with the Coq developers) (143 messages, latest: Jul 10 2020 at 18:05)
- Order of logic (5 messages, latest: Jul 07 2020 at 14:47)
- [M] Session with the Coq developers (93 messages, latest: Jul 07 2020 at 13:23)
- [S] Panel on libraries (90 messages, latest: Jul 06 2020 at 22:17)
- [M1] Hierarchy Builder (36 messages, latest: Jul 06 2020 at 17:58)
- General Discussion (92 messages, latest: Jul 06 2020 at 15:18)
- [M7] Towards an Axiomatic Basis for C++ (50 messages, latest: Jul 06 2020 at 14:15)
- Youtube Stream (4 messages, latest: Jul 06 2020 at 14:02)
- [M6] Verifying, testing and running smart contracts in... (30 messages, latest: Jul 06 2020 at 13:56)
- [M5] High-assurance field inversion for pairing-friendly... (18 messages, latest: Jul 06 2020 at 13:01)
- [M4] Smuggling a Little Bit of Coq Inside a CAD... (21 messages, latest: Jul 06 2020 at 12:42)
- Diversity in the Coq community (11 messages, latest: Jul 06 2020 at 11:45)
- [M] Invited Talk (28 messages, latest: Jul 06 2020 at 10:23)
- [M3] Developing sequence and tree fintypes in MathComp (40 messages, latest: Jul 06 2020 at 09:33)
- [M2] A hierarchy of ordered types in Mathematical Components (4 messages, latest: Jul 06 2020 at 09:13)
- [S5] A Gentle Introduction to Container-based CI for Coq... (41 messages, latest: Jul 05 2020 at 19:17)
- [S1] FPC-Coq: Using ELPI to elaborate external proof... (19 messages, latest: Jul 05 2020 at 19:16)
- [S6] Learning to Format Coq Code Using Language Models (12 messages, latest: Jul 05 2020 at 15:29)
- [S4] The Coq Proof Script Visualiser (coq-psv) (13 messages, latest: Jul 05 2020 at 14:28)
- [S2] Generating induction principles and subterm... (49 messages, latest: Jul 05 2020 at 14:10)
- [S3] A Decision Procedure for Equivalence Relations (4 messages, latest: Jul 05 2020 at 13:37)
- Zoom Setup (65 messages, latest: Jul 04 2020 at 15:28)
- Abstracts in permanent archives (5 messages, latest: Jul 01 2020 at 17:26)
Last updated: Mar 25 2023 at 07:28 UTC