Xin chúc mừng @Pi_Squared_Pi2 và cố vấn của chúng tôi @RosuGrigore!

Việc tận dụng K-framework để tạo ra bằng chứng với khả năng không phụ thuộc vào ngôn ngữ từ ngữ nghĩa chính thức của hệ thống sẽ nâng cao tiến trình ZK của chúng tôi lên mức tối đa.

Một lần nữa! Xin chúc mừng!