Lookup total lemmas
All threads resolved!
All threads resolved!
This closes issue #50 (closed) and is a more complete alternative to !109 (closed).
This MR includes all lemmas that I think make sense. See also the discussion there.
Edited by Robbert Krebbers
Merge request reports
Activity
Filter activity
mentioned in merge request !109 (closed)
- Resolved by Ralf Jung
mentioned in commit b04a1f11
Please register or sign in to reply