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

Published 20 hours ago • verified publisher icon IntersectMBO

RATIFY conformance

Open Soupstraw opened this issue 9 months ago • 0 comments

Description

Checklist

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

Soupstraw avatar May 13 '24 15:05 Soupstraw