欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐资本
来自开放百科 - 灰狐
灰狐资本
目录 |
简介
灰狐资本(Huihoo Capital)
愿景
基础
- 灰狐量子实验室
- Huihoo Network
- 分形和混沌理论
技术
- Why should Huihoo use Lisp, Haskell and OCaml.
- Proof assistant
- Haskell ecosystem
- OCaml ecosystem
- Lisp ecosystem
- Financial technology
链接
分享您的观点