欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
灰狐资本
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 (→基础) |
||
(未显示1个用户的2个中间版本) | |||
第7行: | 第7行: | ||
==基础== | ==基础== | ||
− | *[[ | + | *[[Open Provable Foundation]] |
*[[Huihoo Network]] | *[[Huihoo Network]] | ||
− | * | + | *[[灰狐量子实验室]] |
==技术== | ==技术== | ||
+ | *Why should Huihoo use Lisp, Haskell and OCaml. | ||
*[[Proof assistant]] | *[[Proof assistant]] | ||
*[[Haskell ecosystem]] | *[[Haskell ecosystem]] |
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
[编辑] 链接
分享您的观点