I am enthusiastic about <K2 Compiler plugins>. Plu...
# konsist
i
I am enthusiastic about

K2 Compiler plugins

. Plugins can potentially enable much better verification capabilities for Konsist. This is a wide topic that needs to be explored. Any one here wants to help exploring this path?
7