Article URL: https://leanprover-community.github.io/lt2026/schedule.html
Comments URL: https://news.ycombinator.com/item?id=46711171
Points: 8
# Comments: 0
L∃AN together – live stream schedule
Published 5 hours ago
Source: hnrss.org
Related Articles from hnrss.org
30 minutes ago
Significant US Farm Losses Persist, Despite Federal Assistance
30 minutes ago
Internet voting is insecure and should not be used in public elections
2 hours ago
The Inflation Trap: Housing replacement costs vs. market value
2 hours ago
Take potentially dangerous PDFs, and convert them to safe PDFs
2 hours ago
Brain on ChatGPT: Accumulation of Cognitive Debt When Using an AI Assistant
4 hours ago