search

rems-project / cn-tutorial

8 stars 9 forks source link

Adding C examples that mimic and test borrow patterns from Rust. #6

Closed scuellar closed 6 months ago

scuellar commented 6 months ago

Add a handful of Rust-inspired examples. This examples test a couple of Rust patterns with attempts to prove them in CN.

septract commented 6 months ago

Examples correctly categorized, so this is good to merge.