IntersectMBO / IntersectMBO/formal-ledger-specifications
Update the color of names that have been moved to type classes
Open
documentation
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
This is mostly about set-theoretic definitions.
- [ ] ℙ
- [ ] _∈_
- [ ] _∉_
_Originally posted by @WhatisRT in https://github.com/IntersectMBO/formal-ledger-specifications/issues/480#issuecomment-2208696706_
Contributor guide
Assessment
This issue has not been assessed yet.