Zulip Chat Archive
Stream: Program verification
Topics:
- Linear programming (42 messages, latest: Jan 05 2023 at 17:44)
- Data structures (7 messages, latest: Jan 02 2023 at 12:00)
- Generic State (17 messages, latest: Nov 30 2022 at 18:46)
- RISC-V ISA in Lean (325 messages, latest: Oct 05 2022 at 08:45)
- executables (10 messages, latest: Oct 03 2022 at 22:16)
- universes (33 messages, latest: Oct 15 2021 at 18:30)
- Formal verification of simple imperative language (16 messages, latest: Jul 01 2021 at 13:50)
- Functional Algorithms, Verified! (1 message, latest: May 10 2021 at 12:25)
- Lists Without Duplicates (84 messages, latest: Jan 01 2021 at 18:50)
- Projects (71 messages, latest: Dec 22 2020 at 21:19)
- lawful parsers (47 messages, latest: Dec 13 2020 at 00:28)
- Quantum Computing (15 messages, latest: Dec 10 2020 at 13:08)
- Examples (3 messages, latest: Nov 24 2020 at 17:14)
- Working with match expression (7 messages, latest: Nov 01 2020 at 00:04)
- Verifying 2-3 trees (1 message, latest: Oct 29 2020 at 15:19)
- Correctness of a compiler for arithmetic expressions (6 messages, latest: Oct 20 2020 at 00:47)
- Problem with pattern matching in function definition (4 messages, latest: Sep 24 2020 at 22:14)
- Why Lean? (9 messages, latest: Sep 21 2020 at 21:23)
- API for Lean (7 messages, latest: Sep 16 2020 at 20:00)
- Transition Systems (3 messages, latest: Sep 04 2020 at 16:20)
- Bitvector (39 messages, latest: Aug 17 2020 at 12:15)
- Arena allocation for ITPs (50 messages, latest: Aug 12 2020 at 10:04)
- Need a way to unfold a definition (460 messages, latest: Jul 09 2020 at 01:24)
- Verified program generation (16 messages, latest: Jul 06 2020 at 21:43)
- upper bounds on proof translation (18 messages, latest: Jul 01 2020 at 20:14)
- How to deal with exploding number of cases? (8 messages, latest: Jun 28 2020 at 18:07)
- Concrete semantics (7 messages, latest: Jun 27 2020 at 18:36)
- What is the status of program extraction? (5 messages, latest: Jun 22 2020 at 01:10)
- Metamath C (1 message, latest: Jun 21 2020 at 03:14)
- SMT (Z3) bindings (12 messages, latest: Jun 18 2020 at 21:37)
- SF kata (33 messages, latest: Jun 13 2020 at 18:07)
- Turing machines (31 messages, latest: May 24 2020 at 12:28)
- design by contract with lean (2 messages, latest: May 04 2020 at 14:04)
- stream events (8 messages, latest: May 03 2020 at 22:53)
Last updated: Jan 31 2023 at 21:29 UTC