Skip to content
Snippets Groups Projects
Normal view Permalink
2023-01-23-hcm.md 335 B
Newer Older
  • Learn to ignore specific revisions
    • Florian Rabe's avatar
    no message
    Florian Rabe committed
    1 2 3 4 5 6 7 8 
    ---
layout: post
author: frabe
title: "The Future of Formalized Mathematics"
tags:
  - Announcements
---
[Florian Rabe](https://kwarc.info/people/frabe/) gives [colloquium talk](https://kwarc.info/people/frabe/Research/slides/rabe_future_23.pdf) at the [Hausdorff Center of Mathematics](https://www.hcm.uni-bonn.de/hcm-home/) in Bonn.