issues
search
epfl-lara
/
rust-stainless
An experimental Rust frontend for Stainless
Apache License 2.0
6
stars
2
forks
source link
Extract external trait signature for bounds/evidence args
#143
Open
yannbolliger
opened
3 years ago