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: Dec 20 2023 at 11:08 UTC
unknown exception while type-checking theorem
That's a first one for me, I think.
Last updated: Dec 20 2023 at 11:08 UTC