欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
DroidDraw
来自开放百科 - 灰狐
DroidDraw: 面向 Android 的GUI设计工具，通过它可生成复杂的Android Layout XML文件。
新闻
- Moving on... (01 Jan 1970 00:00)
- It's been a while, huh... (01 Jan 1970 00:00)
- Time to Move On... (01 Jan 1970 00:00)
- Appearance is everything... (01 Jan 1970 00:00)
- New release (slightly delayed) (01 Jan 1970 00:00)
- Full Support for Android-m5 (01 Jan 1970 00:00)
- Would you like roses with that release? (01 Jan 1970 00:00)
- Release B5 (01 Jan 1970 00:00)
- No changes, just a digression... (01 Jan 1970 00:00)
- New release and new tutorial. (01 Jan 1970 00:00)
图集
链接
<discussion>characters_max=300</discussion>
分享您的观点
