欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
CommonQt
来自开放百科 - 灰狐
CommonQt：集成 Common Lisp 和 Qt。
目录 |
简介
功能
指南
The Common Lisp Cookbook – GUI toolkits
项目
- CommonQt @ GitHub
- Qtools is a collection of utilities to help development with CommonQt
- Lisp Desktop Foundation
图集
链接
分享您的观点
