Mike Dodds
Mike Dodds
The [Lean panic-freedom example](https://hax.cryspen.com/manual/lean/tutorial/panic-freedom/) in the tutorial appears to be broken in two ways: * Missing shoulder-angle brackets: `⌜ ... ⌝` * Uses `UInt8.HaxMul_spec_bv_rw` which seems to have been deleted...