Sam Hart

9,212个推特粉丝

关注

head of product/strategy @skipprotocol, co-founder @timewavelabs, squad @otherinternet__, library @cyberneticslib, nft @foliafoliafolia — selective angel

动态

Sam Hart

01-13

主题贴

虽然有点深奥，但我实现了从 Coq 到 Lean 的 Paco 的忠实移植，因为我另一个专案需要它。 Paco 允许你写出关于无限进程的可组合证明。原文：http:/plv.mpi-sws.org/paco Lean：

川普正在利用 H1B 计划来控制科技和高等教育等他想要控制的劳动力部门。

TRUMP