Robert Stoll

> However, the reporting aspect will be conveyed by the fact that Check/Assertion/… will implement Reportable That's something you need to look up. Ideally you don't need to and the...

Thanks for you input. First of all, I think we are not that far away from each other. I will try to outline why. Maybe we just use different terms,...

@jGleitz I'll probably start this or next week with the work on the logic level. So if you have something to say against `Proof` then please raise your voice now

Good, I'll go with `Proof`. I am not yet sure how I rename Assertion and co. but I was also thinking about an InvisibleGroup - so I'll keep that one...

I planned to migrate to the new kotlin MPP plugin in either v0.16.0 or v0.17.0 and would therefore be happy if you could help out. I guess the examples in...

In case you have time, then it probably makes sense if you do #641 as well (there is a closed PR which you could resurrect)

Because: - intellij bug, cannot build scala if part of Kotlin multi-project build - some people use vscode + metals for scala and vscode does not support Kotlin - as...

Since I am going to refactor bc-tests and this will affect settings.gradle as well, I am going to rewrite it to setttings.gradle.kts

Doesn't work well at all. Intellij is constantly throwing errors (its basically this issue: https://youtrack.jetbrains.com/issue/KT-42769) until it stops monitoring fatal errors. The effect of it is, that syntax highlighting does...

It looks more and more like only a big bang transition to the new MPP plugin will work (shame on Jetbrains, that's really a migration path I don't want for...