Zulip Chat Archive
Stream: Program verification
Topics:
- Verification of functions using mutability (STRef) (10 messages, latest: Dec 16 2023 at 19:36)
- ✔ Using Parsec (14 messages, latest: Dec 15 2023 at 09:39)
- How to approach proving termination here? (18 messages, latest: Nov 30 2023 at 15:16)
- Formalizing a theoretical AI safety result (9 messages, latest: Nov 27 2023 at 13:25)
- Help with a basic proof about Vectors (9 messages, latest: Nov 26 2023 at 20:29)
- ✔ Small-step operational semantics (70 messages, latest: Nov 25 2023 at 07:41)
- Reflecting recursive types (1 message, latest: Oct 19 2023 at 12:54)
- Linear programming (44 messages, latest: Sep 26 2023 at 16:06)
- Stuck on proving a theorem about a simple program (4 messages, latest: Aug 13 2023 at 01:10)
- Separation Logic (28 messages, latest: Jun 27 2023 at 13:55)
- Functional Algorithms, Verified! (5 messages, latest: Jun 15 2023 at 17:27)
- Verified program generation (17 messages, latest: Jun 14 2023 at 17:09)
- Model Checking (21 messages, latest: May 19 2023 at 04:14)
- RISC-V ISA in Lean (336 messages, latest: Apr 13 2023 at 10:12)
- Representing proofs in Julia (1 message, latest: Apr 07 2023 at 07:56)
- Infer a implementation of a blackbox function given table (10 messages, latest: Mar 30 2023 at 15:21)
- Data structures (7 messages, latest: Jan 02 2023 at 12:00)
- Generic State (17 messages, latest: Nov 30 2022 at 18:46)
- 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)
- 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)
- 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: Dec 20 2023 at 11:08 UTC