ทวีตที่ปักหมุด
Eitan Chatav รีทวีตแล้ว
Eitan Chatav
3.8K posts

@EChatav
Soul of a mathematician



That internet users name? MowtenDoo.

The Netanyahu is dead crowd seems pretty dug in. How does this work do they just spend the rest of their lives like this?



@RealDianeYap I want to live in a country where everyone treats people like white people treat everyone.





4. Lean's hegemony makes sense given community effects and need for a critical mass, but it's also worrying, and has implications for what kinds of math are represented. We need more work for other proof assistants








