Discussion: Harmonic Analysis and Lean Formalization

Stream: general

[Floris van Doorn]

Discussion thread for #announce > ERC grant: Harmonic Analysis and Lean Formalization

[Floris van Doorn]

Official announcement of all ERC 2025 Synergy grants: https://erc.europa.eu/news-events/news/erc-2025-synergy-grants-results

[Floris van Doorn]

Press release from the University of Bonn: English, Deutsch

[Michael Rothgang]

Fun fact: this is one of only two (of 66) funded proposals with only two PIs.

[metakuntyyy]

I wish I could do my degree in 2025 instead of 2019. :exhausted:

[Notification Bot]

A message was moved here from #announce > ERC grant: Harmonic Analysis and Lean Formalization by Rémy Degenne.

[metakuntyyy]

Well I wish I did my PhD 6 years later :cry:

[Notification Bot]

A message was moved here from #announce > ERC grant: Harmonic Analysis and Lean Formalization by Rémy Degenne.

[Rémy Degenne]

@metakuntyyy I moved your messages here since that's where discussion of that topic should occur.

[metakuntyyy]

Ah, now I wondered why my message disappeared. Seems that I didn't get the first notification.