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