Skip to content

added docs for Rocq Prover

HumamAlhusainirequested to merge
HumamAlhusaini/lambda-rust:master into master

I was able to successfully compile lamda-rust with Rocq 9.0.0, so I added it to the README.md.

Merge request reports