In reply to @HigherGeometer
@HigherGeometer How I imagine Lean feels
View this tweet on twitter.com
This tweet as JSON