This is a copy of the Github readme.
Find the original on


Crev proofs repository of
version: 1.0 date: 2022-03-13 author: repository: GitHub


Hashtags: #rustlang #crev #review

It was first forked from

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.

Open-source and free as a beer

My open-source projects are free as a beer (MIT license).
I just love programming.
But I need also to drink. If you find my projects and tutorials helpful, please buy me a beer by donating to my PayPal.
You know the price of a beer in your local bar ;-)
So I can drink a free beer for your health :-)
Na zdravje! Alla salute! Prost! Nazdravlje! 🍻