hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

`#[hax_lib::lemma]` in traits

Open cmester0 opened this issue 1 year ago • 3 comments

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

cmester0 avatar Sep 16 '24 11:09 cmester0

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.

github-actions[bot] avatar Nov 16 '24 02:11 github-actions[bot]

Still something we want!

W95Psp avatar Nov 18 '24 08:11 W95Psp

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.

github-actions[bot] avatar Nov 06 '25 00:11 github-actions[bot]