祝賀 @Pi_Squared_Pi2 和我們的顧問 @RosuGrigore！

利用 K-framework 從系統的形式語義生成具有語言無關能力的證明，將使我們的 ZK 進展達到最大化。

再次祝賀！