Topics:
- stream events (2 messages, latest: May 02 2022 at 08:44)
- [S2T3] General automation in Coq ... (5 messages, latest: Nov 19 2021 at 15:43)
- Videos (6 messages, latest: Aug 27 2021 at 10:15)
- [S1T1] Lebesgue Measure in MathComp-Analysis (18 messages, latest: Jul 05 2021 at 14:39)
- [S4T2]Coq/Ssreflect for large case-based graph theory proofs (2 messages, latest: Jul 02 2021 at 15:00)
- [S4T1] Certifying assembly optimizations in Coq (1 message, latest: Jul 02 2021 at 14:15)
- [IT] Jasmin: Certified Workbench ... (16 messages, latest: Jul 02 2021 at 14:04)
- [S3T2] Extending MetaCoq Erasure: Extraction to Rust and Elm (1 message, latest: Jul 02 2021 at 13:59)
- [S3T1] SSProve (4 messages, latest: Jul 02 2021 at 13:36)
- [S1T3] A Nix toolbox for reproducible Coq environments ... (14 messages, latest: Jul 02 2021 at 13:08)
- [S2T1] A Toolbox for Mechanised First-Order Logic (19 messages, latest: Jul 02 2021 at 10:27)
- [S2T2] À la Nelson-Oppen Combination (3 messages, latest: Jul 02 2021 at 10:19)
- [S1T2] Porting MathComp to Hierarchy Builder (4 messages, latest: Jul 02 2021 at 08:54)
- Late registrations (6 messages, latest: Jul 02 2021 at 07:30)
- Recorded talks? (4 messages, latest: Jul 01 2021 at 11:35)
- organization (1 message, latest: Jul 01 2021 at 10:50)
Last updated: Nov 29 2023 at 05:01 UTC