欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ZK
来自开放百科 - 灰狐
ZK 是一个基于 AJAX/XUL 的 Web 框架，在此框架中可以设计丰富用户体验且只需简单编程的模型。它还包含了基于 AJAX 的事件驱动引擎，可以在一序列基于 XUL 的富组件之间自动协作。
文件:Example.jpg
ZK architecture
分享您的观点
