Email Gateway (Aug 22 2022 at 20:51): Email Gateway (Aug 22 2022 at 20:51):From: Juho Kupiainen <juho.kupiainen.general.ai.group@gmail.com>
When hovering over with Ctrl down in the Deriv.thy theory file, I can't go
to the definition because there's an error "Cannot update finished theory".
Is there an easy way to solve this?
Last updated: Nov 21 2024 at 12:39 UTC