search

hacspec / hax

A Rust verification tool
https://hacspec.org/blog
Apache License 2.0
201 stars 21 forks source link

`#[hax_lib::lemma]` in traits #890

Open cmester0 opened 2 months ago

cmester0 commented 2 months ago

Currently the #[hax_lib::lemma] attribute is not supported on items in traits.

github-actions[bot] commented 2 weeks ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

W95Psp commented 2 weeks ago

Still something we want!