Zulip Chat Archive
Stream: general
Topic: achievement unlocked
Johan Commelin (Mar 11 2019 at 12:09):
unknown exception while type-checking theorem
That's a first one for me, I think.
Last updated: May 02 2025 at 03:31 UTC
unknown exception while type-checking theorem
That's a first one for me, I think.
Last updated: May 02 2025 at 03:31 UTC