@Imran/Malic @danieeh @aballano @Joachim Ansorg The deadlock is resolved when I move initializations of proofs outside to each place where a new resolution facade is created: No need to worry about that now. https://github.com/arrow-kt/arrow-meta/blob/591a5eedfb8594d89b3a9048a8627084b78f23e3/idea-plugin/src/main/kotlin/arrow/meta/ide/plugins/proofs/resolve/ProofsKotlinCacheService.kt#L27

nice! good catch!