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: Jul 23 2024 at 18:02 UTC