Neat that this thesis was written by a student of ralfj [1][2] (who has done a lot of work to drive forward formal definitions for rust). [1] https://research.

Neat that this thesis was written by a student of ralfj [1][2] (who has done a lot of work to drive forward formal definitions for rust). [1] https://research.ralfj.de/ https://research.ralfj.de/ [2] https://news.ycombinator.com/user?id=ralfj https://news.ycombinator.com/user?id=ralfj