channel events

Stream: computer science

[Notification Bot]

Web-public channel created by Bryan Gin-ge Chen. Description:

Discussion of computer science relevant to formalization in Lean.

[Bryan Gin-ge Chen]

If there are other topics that should be moved to this channel, feel free to post links to them here.

[Fabrizio Montesi]

Thank you very much, @Bryan Gin-ge Chen!

[Fabrizio Montesi]

Here's a topic: #general > Notation for terms/processes in CS calculi

[Ching-Tsun Chou]

Another one: #mathlib4 > Labelled Transition Systems (LTS)

[Bryan Gin-ge Chen]

Ching-Tsun Chou said:

Another one: #mathlib4 > Labelled Transition Systems (LTS)

This topic has some discussion about whether the topic is suitable for mathlib4, so I think I'll leave it there for now.