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의 Paco를 Lean으로 충실하게 포팅했습니다. Paco를 사용하면 무한 프로세스에 대한 구성 가능한 증명을 작성할 수 있습니다. 원본: http:/plv.mpi-sws.org/paco Lean:

트럼프는 H1B를 이용해 기술, 고등교육, 그리고 자신이 지배하고 싶어하는 노동 부문을 강요하고 있습니다.

TRUMP