Challenge 28: Verify flt2dec safety with Kani#606

v3risec wants to merge 4 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

v3risec:challenge-28-flt2decv3risec/verify-rust-std:challenge-28-flt2decCopy head branch name to clipboard