欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐资本
来自开放百科 - 灰狐
（版本间的差异）
(以“灰狐资本 ==简介== 灰狐资本（Huihoo Capital） ==愿景== ==关注== *灰狐量子实验室 *Huihoo Network *分形和混沌理论 ==技术== *...”为内容创建页面) |
小 (→基础) |
||
| （未显示1个用户的5个中间版本） | |||
| 第6行： | 第6行： | ||
==愿景== | ==愿景== | ||
| − | == | + | ==基础== |
| − | *[[ | + | *[[Open Provable Foundation]] |
*[[Huihoo Network]] | *[[Huihoo Network]] | ||
| − | * | + | *[[灰狐量子实验室]] |
==技术== | ==技术== | ||
| + | *Why should Huihoo use Lisp, Haskell and OCaml. | ||
*[[Proof assistant]] | *[[Proof assistant]] | ||
*[[Haskell ecosystem]] | *[[Haskell ecosystem]] | ||
| 第17行： | 第18行： | ||
*[[Lisp ecosystem]] | *[[Lisp ecosystem]] | ||
*[[Financial technology]] | *[[Financial technology]] | ||
| + | |||
| + | ==链接== | ||
| + | *[https://capitalg.com/ CapitalG（原名Google Capital）] | ||
| + | *[https://www.quora.com/Why-should-I-learn-Haskell-OCaml-or-Lisp Why should I learn Haskell, OCaml or Lisp?] | ||
[[category:financial]] | [[category:financial]] | ||
2022年2月10日 (四) 07:11的最后版本
灰狐资本
目录 |
[编辑] 简介
灰狐资本（Huihoo Capital）
[编辑] 愿景
[编辑] 基础
[编辑] 技术
- Why should Huihoo use Lisp, Haskell and OCaml.
- Proof assistant
- Haskell ecosystem
- OCaml ecosystem
- Lisp ecosystem
- Financial technology
[编辑] 链接
分享您的观点
