Specifying and Verifying Higher-Order Rust Iteratorshal.science4 points·xavxav··0 commentsOpen articleSaveView on HN