欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐资本
来自开放百科 - 灰狐
（版本间的差异）
小 (→技术) |
小 (→基础) |
||
| 第7行： | 第7行： | ||
==基础== | ==基础== | ||
| − | *[[ | + | *[[Open Provable Foundation]] |
*[[Huihoo Network]] | *[[Huihoo Network]] | ||
| + | *[[灰狐量子实验室]] | ||
*分形和混沌理论 | *分形和混沌理论 | ||
2022年2月10日 (四) 06:54的版本
灰狐资本
目录 |
简介
灰狐资本（Huihoo Capital）
愿景
基础
技术
- Why should Huihoo use Lisp, Haskell and OCaml.
- Proof assistant
- Haskell ecosystem
- OCaml ecosystem
- Lisp ecosystem
- Financial technology
链接
分享您的观点
