IntersectMBO / IntersectMBO/formal-ledger-specifications
Express ledger properties via cochain equations
Open
investigation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
I didn't have time for this in a long time, and there's a good chance there won't be time for it for a while, so I'm opening this issue to not forget about it. See #33
Contributor guide
Assessment
This issue has not been assessed yet.