Zulip Chat Archive

Stream: CSLib

Topic: Lean Together 2026

Chris Henson (Jan 19 2026 at 21:26):

Just an advertisement/reminder that there will be two Lean Together talks about CSLib this week:

Fabrizio will present CSLib: The Lean Computer Science Library at 2026-01-20T08:00:00-05:00
I will present Proof Automation and Metaprogramming in CSLib: Locally Nameless Lambda Calculi at 2026-01-21T15:30:00-05:00

There are also several talks about topics to relevant to CSLib such as the module system and grind that I encourage you to listen to!

Ching-Tsun Chou (Jan 19 2026 at 21:42):

Unfortunately, many of the talks are a bit too early in the morning for US west coast (before 6am). I hope the recordings will show up on YouTube soon.

Chris Henson (Jan 19 2026 at 22:01):

Yes, the times are staggered to accommodate global timezones, but there will be recordings afterwards!

Snir Broshi (Jan 19 2026 at 22:02):

Can we expect news about Boole or about how to contribute algorithms in general?

Last updated: Feb 28 2026 at 14:05 UTC