crev-proofs

Crev proofs repository of LucianoBestia
version: 1.0 date: 2022-03-13 author: Bestia.dev repository: GitHub

Hits

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.