欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
IPFaces
来自开放百科 - 灰狐
iPfaces 是一个在手机设备上用来开发基于表单的网络应用程序框架。
支持平台
链接
分享您的观点
欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
iPfaces 是一个在手机设备上用来开发基于表单的网络应用程序框架。