An example of crux verification of ring crypto library against cryptol specs and hacspecs - View it on GitHub