formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Prove GA deposits match current proposals: #367

Open williamdemeo opened this issue 11 months ago • 3 comments

Description

This PR is to address issue #367.

Checklist

  • [x] Commit sequence broadly makes sense and commits have useful messages
  • [x] Code is formatted according to CONTRIBUTING.md
  • [x] Self-reviewed the diff

williamdemeo avatar Mar 26 '24 07:03 williamdemeo