search

rust-lang-nursery / wg-verification

Verification working group
Apache License 2.0
104 stars 10 forks source link

Extract trait impls from compiler #12

Open avadacatavra opened 6 years ago