Issues

• Figure out how to make a nice PDF of the proof

  fix-project/fix-proof#11 · Filter by author keithw opened on Jun 4, 2026

• Merge squash and lift

  fix-project/fix-proof#8 · Filter by author keithw opened on Jun 4, 2026

• Expand modeling of Fix

  fix-project/fix-proof#7 · Filter by author keithw opened on Jun 4, 2026

• Model more Fix semantics

  fix-project/fix-proof#6 · Filter by author keithw opened on Jun 4, 2026

• Consolidate Digestion thunks into Selection thunks

  fix-project/fix-proof#5 · Filter by author keithw opened on Jun 4, 2026