欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐资本
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐资本 ==简介== 灰狐资本（Huihoo Capital） ==愿景== ==关注== *灰狐量子实验室 *Huihoo Network *分形和混沌理论 ==技术== *...”为内容创建页面) |
小 (→关注) |
||
| 第6行： | 第6行： | ||
==愿景== | ==愿景== | ||
| − | == | + | ==基础== |
*[[灰狐量子实验室]] | *[[灰狐量子实验室]] | ||
*[[Huihoo Network]] | *[[Huihoo Network]] | ||
2022年1月7日 (五) 04:53的版本
灰狐资本
目录 |
简介
灰狐资本（Huihoo Capital）
愿景
基础
- 灰狐量子实验室
- Huihoo Network
- 分形和混沌理论
技术
分享您的观点
