Some list related lemmas
All threads resolved!
All threads resolved!
Some more lemmas that I proved for my development.
Merge request reports
Activity
- Resolved by Michael Sammler
- Resolved by Michael Sammler
- Resolved by Michael Sammler
- Resolved by Michael Sammler
- Resolved by Robbert Krebbers
- Resolved by Robbert Krebbers
- Resolved by Michael Sammler
- Resolved by Michael Sammler
- Resolved by Michael Sammler
mentioned in merge request !77 (merged)
- Resolved by Robbert Krebbers
- Resolved by Michael Sammler
mentioned in issue #39
mentioned in commit a4328503
Please register or sign in to reply