VIEWS8
Eitan Porat@PoratEitan
@AlexKontorovich @leanprover @HebrewU oh no 😢
2hViews 8
Original post unavailable.
Sentiment
Some users reacted with disappointment to a mathematician leading a Lean workshop for researchers at Hebrew University.
Pos
0.0%
Neg
100.0%
1 comments with sentiment.
Cluster Engagement
Posts from X
Most Activity
Most Activity