Going offtopic, but let me grab this opportunity to ask something. Have anyone used Mizar? How does it feel like?
A message was moved here from #Coq users > Type theory by Karl Palmskog.
Last updated: Apr 19 2024 at 00:02 UTC