欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
讨论:首页
来自开放百科 - 灰狐
大家好,我是第一次登陆,请多关照.
请求增加Rules Engine类别。
请求增加Rules Engine类别。
我们也计划这样做,但还要对SF做更多分析,目前 http://site.huihoo.com 网址就参考 SF 分类进行整理。
分享您的观点