Zulip Chat Archive
Stream: computer science
Topics:
- Adding new algorithms proof in cslib (1 message, latest: Jan 07 2026 at 21:05)
- JaxProof: JAX code generation and verification (3 messages, latest: Dec 29 2025 at 04:29)
- Differential Privacy (3 messages, latest: Dec 09 2025 at 16:46)
- Using CSLib as a dependency (9 messages, latest: Dec 06 2025 at 18:50)
- Chaitin's incompleteness theorem (5 messages, latest: Dec 03 2025 at 03:57)
- want: good first issue for cslib (10 messages, latest: Dec 02 2025 at 23:59)
- https://github.com/leanprover/lean4/blob/master/tests/lean/r (5 messages, latest: Nov 29 2025 at 04:38)
- Bernshteyn's work on descriptive combinatorics (8 messages, latest: Nov 26 2025 at 08:49)
- cslib (74 messages, latest: Nov 20 2025 at 12:22)
- FinFun vs Finsupp (65 messages, latest: Oct 23 2025 at 19:11)
- cryptolib (21 messages, latest: Oct 22 2025 at 15:28)
- Efforts in Algorithms and complexity (7 messages, latest: Oct 09 2025 at 06:57)
- Proof Assistant Questions (1 message, latest: Oct 08 2025 at 16:08)
- cslib: Logics (1 message, latest: Oct 07 2025 at 06:51)
- Linear logic (18 messages, latest: Sep 28 2025 at 12:28)
- Rice-Shapiro (43 messages, latest: Sep 25 2025 at 17:46)
- Prop or Type for Derivations? (79 messages, latest: Sep 23 2025 at 12:46)
- Notation for terms/processes in CS calculi (99 messages, latest: Sep 22 2025 at 07:32)
- Superposition (16 messages, latest: Sep 18 2025 at 21:45)
- CCS behavioural theory (18 messages, latest: Sep 18 2025 at 08:52)
- Is there a better definition of L^ω ? (31 messages, latest: Sep 17 2025 at 23:10)
- Splay trees (15 messages, latest: Sep 16 2025 at 20:26)
- Bisimulation (3 messages, latest: Sep 07 2025 at 18:28)
- Grind and unfolding (25 messages, latest: Sep 06 2025 at 20:15)
- PSBP library and documentation (3 messages, latest: Sep 04 2025 at 13:53)
- A well-scoped mechanisation of System F<: (5 messages, latest: Aug 13 2025 at 20:00)
- locally nameless Takahashi translation (6 messages, latest: Aug 07 2025 at 17:11)
- TODO-to-issue GitHub Action in cslib (1 message, latest: Aug 07 2025 at 08:02)
- Lambda calculus (98 messages, latest: Aug 05 2025 at 09:58)
- Simply typed lambda calculus (7 messages, latest: Aug 05 2025 at 09:01)
- Automata theory in Lean4 (20 messages, latest: Aug 01 2025 at 08:07)
- Overloading Lean's notation (20 messages, latest: Jul 29 2025 at 09:42)
- Switching from Rel to Relation (10 messages, latest: Jul 25 2025 at 13:23)
- Mathlib linters in cslib (7 messages, latest: Jul 23 2025 at 21:40)
- LTS and calc (1 message, latest: Jul 23 2025 at 20:36)
- Logical equivalence (1 message, latest: Jul 22 2025 at 11:01)
- SK computation (6 messages, latest: Jul 21 2025 at 14:27)
- channel events (6 messages, latest: Jul 21 2025 at 06:05)
Last updated: Feb 28 2026 at 14:05 UTC