Stream: General

Topic: Streams

Notification Bot (Jul 02 2019 at 13:25):

Anthony Bordg just created a new stream #new members.

Notification Bot (Jul 02 2019 at 13:31):

Anthony Bordg just created a new stream #quantum computing.

Notification Bot (Jul 05 2019 at 10:00):

Yiannos just created a new stream #Machine learning and theorem proving reading group.

Notification Bot (Jul 14 2019 at 11:46):

Jose Manuel Rodríguez Caballero just created a new stream #Functional Analysis for Isabelle/HOL.

Last updated: Jul 12 2025 at 08:27 UTC