Sam Hart

9,212 người theo dõi trên Twitter

Theo dõi

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

Bài đăng

Sam Hart

01-13

Nội dung chủ đề

Hơi khó hiểu một chút, nhưng tôi đã chuyển đổi Paco một cách trung thực từ Coq sang Lean, vì tôi cần nó cho một dự án khác. Paco cho phép bạn viết các bằng chứng có thể kết hợp về các quy trình vô hạn. Bản gốc: http:/plv.mpi-sws.org/paco Lean:

Trump đang sử dụng H1B để ép buộc các ngành công nghệ, giáo dục đại học và lao động mà ông muốn kiểm soát.

TRUMP