欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Willow是由Huihoo组织开发的,致力于提供一个完整的、可用的工作流引擎和应用框架。Willow目前最新版本是2.0.