20180823 - Automatic rewriting in Lean
Channel: Scott Morrison
Date: 2018-08-23

Dagstuhl Seminar on "Formalization of Mathematics in Type Theory"