bluesky — 6 Nov 2025
Congratulations to Floris van Doorn and Christian Thiele for their new ERC grant for formalization of analysis in Lean w…
#proof-assistants #mathematical-logic #formalization
Congratulations to Floris van Doorn and Christian Thiele for their new ERC grant for formalization of analysis in Lean www.mathematics.uni-bonn.de/en/news/will...