by SoftPewterFinch3mo agoWETH pair0x08f44a…9146c8
Lean is a dependently-typed programming language and theorem prover.
Reading trades.