Code

update proof tree chapter#2054

Code

Merged

lcnr merged 3 commits intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

lcnr:proof-treeslcnr/rustc-dev-guide:proof-treesCopy head branch name to clipboard

Sep 17, 2024

Commits

Commits on Sep 3, 2024

• update proof tree chapter

  lcnr

  committed
  0f14341

  Copy full SHA for 0f14341

• uwu

  lcnr

  committed
  2b86f5d

  Copy full SHA for 2b86f5d

• cool beans

  lcnr

  committed
  03d5202

  Copy full SHA for 03d5202