← Back to eventsActiveTechA Critical Look at Lean4Lean4A Critical LookWhat happenedSummary assembled by rule from the sources belowWhy it's spreadingDiscussionCommunity discussion only (1 posts), not yet corroboratedSourcesCommunityA Critical Look at Lean4HHacker News13 h ago
