crev-proofs
Crev proofs repository of LucianoBestia
version: 1.0 date: 2022-03-13 author: Bestia.dev repository: GitHub
Hashtags: #rustlang #crev #review
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.