Today
Intel
Market
Earn
Settings
Account
Theme Selection
Light
Dark
Language
English
简体中文
繁體中文
Tiếng Việt
한국어
Followin APP
Mine Web3 Possibilities
App Store
Google Play
Log in
Sam Hart
9,212 Twitter followers
Follow
head of product/strategy @skipprotocol, co-founder @timewavelabs, squad @otherinternet__, library @cyberneticslib, nft @foliafoliafolia — selective angel
Posts
Sam Hart
01-13
Thread
#Thread#
A little esoteric, but I implemented a faithful port of Paco from Coq → Lean, which I needed for another project. Paco lets you write composable proofs about infinite processes. Original: http:/plv.mpi-sws.org/paco Lean:
COQ
3.93%
Sam Hart
09-21
Trump is using the H1B to coerce tech and higher education, labor sectors he wants under his thumb.
TRUMP
0%
Loading..