# content
Refinement in Rust: optimization, arithmetic, and stateful predicates (by jkaye) — discussion

#rust #show