youtube image
From YouTube: Lang Team Design Meeting: Resolving the Pin unsoundness (2020.01.06)

Description

We discuss the unsoundness that was uncovered with respect to `Pin` and possible ways to resolve it.