← All repos

nrc/libhoare

View on GitHub ↗ ★ 260 Rust

Design by contract style assertions for Rust

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2015-04-25 · latest 2019-04-17