Stream: Miscellaneous

Topic: Mizar

view this post on Zulip Julin S (Mar 02 2023 at 19:27):

Going offtopic, but let me grab this opportunity to ask something. Have anyone used Mizar? How does it feel like?

view this post on Zulip Notification Bot (Mar 02 2023 at 19:55):

A message was moved here from #Coq users > Type theory by Karl Palmskog.

Last updated: Dec 05 2023 at 06:01 UTC