Comment by pabs3
4 hours ago
There are definitely crev reviews hosted outside GitHub, for eg https://git.alpaga.dev/koalp/crev-proofs/
Points taken on the rest of what you mentioned, might be worth evolving crev rather than starting from scratch though.
No comments yet
Contribute on Hacker News ↗