Julin S (Mar 02 2023 at 19:27): 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?
Notification Bot (Mar 02 2023 at 19:55):A message was moved here from #Coq users > Type theory by Karl Palmskog.
Last updated: Jun 05 2023 at 10:01 UTC