hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

Proof lib/fstar support more rbe

Open clementblaudeau opened this issue 7 months ago • 0 comments

This PR extends the proof-lib/fstar representation of rust core and primitives to support more of rust-by-example. Out of the 24 sets of examples, 19 work. Proper automated testing of those example is left for a future PR.

clementblaudeau avatar May 16 '25 15:05 clementblaudeau