List view
- No due date•3/3 issues closed
- Overdue by 6 year(s)•Due by February 25, 2019•4/6 issues closed
**Exclusively the cargo sub-command version** The first, minimal, but actually practically usable version for cargo. The format of proofs should be solid and future proof, so any users that adopt it, don't have to needlessly change anything later.
Overdue by 6 year(s)•Due by February 28, 2019•48/51 issues closed