Skip to content

Add opam package for stdlib + various fixes

Lennard Gäher requested to merge lennard/install-stdlib into main

This adds an opam package refinedrust-stdlib for the stdlib. Also, this fixes some things around the rr::context annotation, adds more later credits, and adds the static_has_refinement assertion to make timeless statements about refinements of statics.

Merge request reports