2023-01-23-hcm.md

layout: post
author: frabe
title: "The Future of Formalized Mathematics"
tags:
  - Announcements

Florian Rabe gives colloquium talk at the Hausdorff Center of Mathematics in Bonn.