Zulip Chat Archive
Stream: CSLib
Topics:
- LTS: multistep transitions and executions (21 messages, latest: Dec 20 2025 at 12:24)
- term rewriting (12 messages, latest: Dec 20 2025 at 06:02)
- LTS: τ-transitions (23 messages, latest: Dec 19 2025 at 09:51)
- merge queue (8 messages, latest: Dec 18 2025 at 16:53)
- Hennessy-Milner Logic availability (2 messages, latest: Dec 18 2025 at 09:50)
- Weekly linting log (8 messages, latest: Dec 17 2025 at 10:41)
- Upcoming closure results for regular languages in mathlib (25 messages, latest: Dec 17 2025 at 00:33)
- Warning messages generated by cslib#165 (10 messages, latest: Dec 15 2025 at 20:49)
- A
lake buildfailure that does not reproduce locally (7 messages, latest: Dec 15 2025 at 07:00) - Excessive grind? (4 messages, latest: Dec 15 2025 at 01:57)
- Linter (8 messages, latest: Dec 14 2025 at 13:13)
- Proposal on Time Complexity (297 messages, latest: Dec 12 2025 at 11:14)
- min_import bug? (2 messages, latest: Dec 11 2025 at 20:25)
- Automata (213 messages, latest: Dec 11 2025 at 11:13)
- Primality proofs for primes related to EC crytography (23 messages, latest: Dec 11 2025 at 10:21)
lake newtemplate for CSLib? (3 messages, latest: Dec 09 2025 at 10:21)- Getting Started: Contributing Algorithm Proofs to CSLib (8 messages, latest: Dec 09 2025 at 03:55)
- Does Query Model allow matrix mul in O(N^2) time ? (35 messages, latest: Dec 07 2025 at 21:16)
- lake build on CSLib outputs stuff (8 messages, latest: Dec 06 2025 at 01:01)
- Logic (56 messages, latest: Dec 04 2025 at 19:28)
- benchmarking (8 messages, latest: Dec 02 2025 at 19:04)
- Talk on grind (2 messages, latest: Nov 29 2025 at 06:44)
- PRs that change CI (9 messages, latest: Nov 28 2025 at 19:38)
- Denotational Semantics in Lean (9 messages, latest: Nov 28 2025 at 08:52)
- proofs with Std.Do (16 messages, latest: Nov 26 2025 at 15:23)
- Complexity Theory in CSLib (8 messages, latest: Nov 26 2025 at 04:28)
- formalizing reductions (4 messages, latest: Nov 21 2025 at 16:58)
- Algorithmic Randomness (1 message, latest: Nov 20 2025 at 23:16)
- Grants (2 messages, latest: Nov 20 2025 at 17:25)
- documentation best practices (17 messages, latest: Nov 19 2025 at 14:52)
- nightly-testing (36 messages, latest: Nov 19 2025 at 03:47)
- deriving dot notation (42 messages, latest: Nov 17 2025 at 22:03)
- Something in Cslib.Automata is interfering with Sum (12 messages, latest: Nov 17 2025 at 15:58)
- Basic properties of deterministic Buchi automata (7 messages, latest: Nov 17 2025 at 02:09)
- Should it be a class (semantics/LTS/ReductionSystem)? (2 messages, latest: Nov 09 2025 at 13:22)
- Question Lean structure and extends (140 messages, latest: Nov 07 2025 at 17:51)
- Language.IsRegular in mathlib (21 messages, latest: Oct 31 2025 at 14:07)
- Formalisation of Barrington's Theorem (16 messages, latest: Oct 31 2025 at 11:50)
- RegularLanguage.lean (1 message, latest: Oct 31 2025 at 02:46)
- testing of Cslib.lean and Cslib.Init (3 messages, latest: Oct 30 2025 at 10:04)
- Questions about grind (3 messages, latest: Oct 30 2025 at 03:54)
- lint workflow permissions (2 messages, latest: Oct 29 2025 at 18:54)
- Weird errors when working on DFA.lean (4 messages, latest: Oct 27 2025 at 23:47)
- OmegaLanguage (7 messages, latest: Oct 27 2025 at 16:24)
- namespacing (44 messages, latest: Oct 24 2025 at 22:45)
- weak in lakefile (3 messages, latest: Oct 23 2025 at 11:30)
- Strange "lake build" error msg (54 messages, latest: Oct 23 2025 at 11:28)
- Assistance with nightly-testing (11 messages, latest: Oct 23 2025 at 10:51)
- OmegaSequence.flatten (8 messages, latest: Oct 22 2025 at 01:46)
- Code Reasoning (2 messages, latest: Oct 18 2025 at 21:50)
- Why shouldn't I use induction'? (17 messages, latest: Oct 17 2025 at 19:48)
- Recent commits to cslib (1 message, latest: Oct 17 2025 at 18:40)
- Quantum algorithms in CSLib? (18 messages, latest: Oct 16 2025 at 14:56)
- bump_toolchain_nightly-testing.yml failing (7 messages, latest: Oct 16 2025 at 03:37)
- Can I turn off nightly-testing in my fork? (20 messages, latest: Oct 15 2025 at 05:20)
- commit conventions (2 messages, latest: Oct 15 2025 at 01:42)
- Announcing CSLib (31 messages, latest: Oct 14 2025 at 19:38)
- bump to v4.24.0 (5 messages, latest: Oct 14 2025 at 12:08)
- Does cslib have nonstandard settings? (9 messages, latest: Oct 13 2025 at 18:09)
- Weighted Directed Graphs (9 messages, latest: Oct 12 2025 at 13:27)
- "Alphabet" vs "Symbol" (13 messages, latest: Oct 12 2025 at 12:04)
- LTS (3 messages, latest: Oct 12 2025 at 11:55)
- Process calculi (4 messages, latest: Oct 11 2025 at 15:17)
- API for association lists (7 messages, latest: Oct 07 2025 at 22:40)
- Project board (3 messages, latest: Oct 03 2025 at 11:04)
- TODO to issue (2 messages, latest: Sep 26 2025 at 21:11)
- Inquiry about Desirable PR (5 messages, latest: Sep 25 2025 at 13:35)
- Locally nameless System F and ForMathlib directory (19 messages, latest: Sep 24 2025 at 11:18)
- RSS feed for CSLib commits (5 messages, latest: Sep 24 2025 at 10:58)
- Adding Buchi Automaton Model Checking to CSLib? (3 messages, latest: Sep 19 2025 at 05:59)
- linkifier (2 messages, latest: Aug 20 2025 at 03:13)
- channel events (5 messages, latest: Aug 13 2025 at 18:49)
- Rice-Shapiro (1 message, latest: Aug 13 2025 at 16:55)
- What does cslib mean? (2 messages, latest: Jul 26 2025 at 16:50)
- Namespace (5 messages, latest: Jul 20 2025 at 20:37)
- Call for Technical Lead Nominations (8 messages, latest: Jul 16 2025 at 18:43)
- CSLib Community call in 30 minutes (10 messages, latest: Jul 16 2025 at 18:43)
- ✔ mathlib4 computability (3 messages, latest: Jul 16 2025 at 15:12)
- Transpilers to proofstacks (5 messages, latest: Jul 14 2025 at 10:15)
- The Stony Brook Algorithm Repository (2 messages, latest: Jul 12 2025 at 17:34)
- Undergraduate CS2 – Discrete Math and Theory – In Lean (4 messages, latest: Jul 04 2025 at 19:58)
- Boole theorems (8 messages, latest: Jul 02 2025 at 20:41)
- Lambda calculi in CSLib (2 messages, latest: Jul 02 2025 at 20:40)
Last updated: Dec 20 2025 at 21:32 UTC