欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Prova Rule Language 是一个基于Java的编程语言。
Prova 是一种经济,高效的反应式代理和事件处理的规则语言,结合规则,声明和函数式编程风格。它是为分布式企业服务总线和OSGi环境而设计。