Anthony Bordg just created a new stream #new members.
Anthony Bordg just created a new stream #quantum computing.
Yiannos just created a new stream #Machine learning and theorem proving reading group.
Jose Manuel Rodríguez Caballero just created a new stream #Functional Analysis for Isabelle/HOL.
Last updated: May 18 2025 at 04:27 UTC