Zulip Chat Archive

Stream: CSLib

Topics:

Algorithm frameworks (TimeM, cslib#372, cslib#376) (29 messages, latest: Feb 28 2026 at 12:42)
module aware shake in CI (1 message, latest: Feb 28 2026 at 12:09)
Lightweight algorithms in CSLib :Cslib#275 (150 messages, latest: Feb 28 2026 at 09:23)
Strong norm for Stlc (79 messages, latest: Feb 27 2026 at 23:58)
Workshop on LEAN oriented towards CSLib Contribution (13 messages, latest: Feb 27 2026 at 18:28)
Contributing other sorting algorithms? (11 messages, latest: Feb 27 2026 at 06:33)
Longest Common Subsequence (62 messages, latest: Feb 26 2026 at 17:08)
Formalizing liveness properties with coinduction (5 messages, latest: Feb 24 2026 at 19:46)
Formalization of 1D Cellular Automata Theory (9 messages, latest: Feb 24 2026 at 13:31)
Spurious docstring blame (10 messages, latest: Feb 23 2026 at 13:53)
Formalization of regular expression (23 messages, latest: Feb 23 2026 at 11:18)
RMQ (3 messages, latest: Feb 23 2026 at 10:42)
Weekly linting log (20 messages, latest: Feb 23 2026 at 07:48)
lake new template for CSLib? (14 messages, latest: Feb 22 2026 at 23:06)
Context.fill notation (17 messages, latest: Feb 22 2026 at 13:56)
Acceptor-like typeclass for machines (19 messages, latest: Feb 21 2026 at 23:20)
Official Announcement (5 messages, latest: Feb 21 2026 at 21:39)
Additive writer monad (2 messages, latest: Feb 21 2026 at 00:24)
Regular meeting (3 messages, latest: Feb 20 2026 at 21:09)
Status of Boole (3 messages, latest: Feb 20 2026 at 21:08)
cslib linkifier (7 messages, latest: Feb 20 2026 at 16:25)
A CSLib project template. (20 messages, latest: Feb 19 2026 at 19:12)
Categorical Semantics (13 messages, latest: Feb 17 2026 at 16:22)
How to contribute in algorithm & data structure part? (3 messages, latest: Feb 16 2026 at 19:25)
Porting from rocq ? (9 messages, latest: Feb 13 2026 at 12:22)
Bachelor End Project (37 messages, latest: Feb 12 2026 at 18:48)
Would it be helpful to suggest topics in Github or here? (4 messages, latest: Feb 11 2026 at 11:04)
LTS: τ-transitions (26 messages, latest: Feb 10 2026 at 17:22)
Connect to real programming language (2 messages, latest: Feb 08 2026 at 09:10)
Formalizing Monoid Programs in CircuitComp/CSLib (4 messages, latest: Feb 08 2026 at 01:00)
Parity is not in AC0 (148 messages, latest: Feb 08 2026 at 00:45)
lake update in CsLib (14 messages, latest: Feb 06 2026 at 23:45)
Upcoming closure results for regular languages in mathlib (27 messages, latest: Feb 06 2026 at 19:39)
Paper on CSLib (14 messages, latest: Feb 06 2026 at 14:17)
unbundling ReductionSystem (11 messages, latest: Feb 05 2026 at 09:04)
Automation in cslib (8 messages, latest: Feb 04 2026 at 18:27)
Unlimited register machines (28 messages, latest: Feb 04 2026 at 16:20)
Query model for Algorithms complexity : updates (74 messages, latest: Feb 04 2026 at 16:04)
Fully polymorphic numerical method: bisection (6 messages, latest: Feb 03 2026 at 23:10)
Linear Temporal Logic to Büchi automata translation (6 messages, latest: Feb 03 2026 at 21:04)
RightCongruence and notation for transduction operations (76 messages, latest: Jan 31 2026 at 00:07)
Computable Polynomials (49 messages, latest: Jan 30 2026 at 14:11)
Minimal Scope for merging Barrington's Theorem in CSLib? (4 messages, latest: Jan 27 2026 at 15:25)
Logic (58 messages, latest: Jan 27 2026 at 15:06)
New name conflict with mathlib (21 messages, latest: Jan 26 2026 at 22:33)
Weighted DFAs and Deterministic FSTs (14 messages, latest: Jan 26 2026 at 03:27)
Control / Cyber-Physical Systems (2 messages, latest: Jan 24 2026 at 17:00)
Adding new algorithms proof in cslib (13 messages, latest: Jan 22 2026 at 20:50)
Little addition to HasSubstitution (23 messages, latest: Jan 22 2026 at 08:30)
Where to put the infinite graph version of Ramsey theorem? (1 message, latest: Jan 21 2026 at 02:54)
benchmarking (13 messages, latest: Jan 20 2026 at 16:10)
Lean Together 2026 (4 messages, latest: Jan 19 2026 at 22:02)
Formalisation of Barrington's Theorem (17 messages, latest: Jan 19 2026 at 05:06)
Does Query Model allow matrix mul in O(N^2) time ? (56 messages, latest: Jan 15 2026 at 22:28)
move to the module system (13 messages, latest: Jan 12 2026 at 18:26)
OmegaLanguage (32 messages, latest: Jan 12 2026 at 17:26)
asymptotics (8 messages, latest: Jan 09 2026 at 19:00)
ideas for first contribution (28 messages, latest: Jan 09 2026 at 11:24)
Can we have anonymous "instance" with assumptions? (7 messages, latest: Jan 09 2026 at 02:59)
Questions about grind (5 messages, latest: Jan 06 2026 at 11:22)
Context Free Grammar Results (1 message, latest: Jan 05 2026 at 16:03)
Doc-string error (6 messages, latest: Jan 04 2026 at 23:54)
proofs with Std.Do (20 messages, latest: Jan 02 2026 at 10:14)
Interesting talk (2 messages, latest: Dec 30 2025 at 01:56)
Proposal on Time Complexity (299 messages, latest: Dec 26 2025 at 12:00)
SortedArray design (#247) (34 messages, latest: Dec 26 2025 at 03:51)
merge queue (10 messages, latest: Dec 23 2025 at 09:46)
LTS: multistep transitions and executions (22 messages, latest: Dec 21 2025 at 03:50)
term rewriting (12 messages, latest: Dec 20 2025 at 06:02)
Hennessy-Milner Logic availability (2 messages, latest: Dec 18 2025 at 09:50)
Warning messages generated by cslib#165 (10 messages, latest: Dec 15 2025 at 20:49)
A lake build failure 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)
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)
Getting Started: Contributing Algorithm Proofs to CSLib (8 messages, latest: Dec 09 2025 at 03:55)
lake build on CSLib outputs stuff (8 messages, latest: Dec 06 2025 at 01:01)
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)
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)
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)
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)
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: Feb 28 2026 at 14:05 UTC