channel events

Stream: Formalized Formal Logic

[Notification Bot]

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

No description.

[Bryan Gin-ge Chen]

Feel free to ping me if there are other topics that should be moved to this channel!

[SnO2WMaN]

Thanks!

[Notification Bot]

Bryan Gin-ge Chen changed the description for this channel.

• Old description:

No description.

• New description:

Discussion for the Formalized Formal Logic proejct https://github.com/FormalizedFormalLogic

[Notification Bot]

Bryan Gin-ge Chen changed the description for this channel.

• Old description:

Discussion for the Formalized Formal Logic proejct https://github.com/FormalizedFormalLogic

• New description:

Discussion for the Formalized Formal Logic project https://github.com/FormalizedFormalLogic