Mizar Streams

"Koch, Sebastian" <[email protected]> Wed, 1 Apr 2020 16:24:26 +0000

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

Dear Mizar Users,


in this time of quarantine I thought of reaching out and stream me writing Mizar articles irregularly. I'm probably more likely to stream games or art if you come by at a random time, but some may enjoy it nonetheless.



Best regards

Sebastian Koch