Login
Roast topics
Find topics
Find it!
From:
Xena
(Uncensored)
subscribe
Lean in 2024
https://xenaproject.wordpress.com/2024/01/20/lean-in-2024/
links
backlinks
Tagged with:
uncategorized
math
artificial intelligence
mathematics
Roast topics
Find topics
Roast it!
A huge amount happened in the Lean theorem prover community in 2023; this blog post looks back at some of these events, plus some of what we have to look forward to in 2024. Modern mathematics I personally am a … Continue reading →