crev-proofs
Crev proofs repository of bestia.dev
version: 1.0 date: 2022-03-13 author: bestia.dev repository: GitHub
It was first forked from https://github.com/crev-dev/crev-proofs
I wanted to unfork it, but Github can only rename+import to achieve something similar.
I renamed it to crev-proofs-old and imported it as crev-proofs.