"README.md" did not exist on "d7d3cacff8e5d18ec2cdaa7c6ed89c716c60ade6"
relations.nsteps: add inversion lemma for `nsteps R 1 a b`
All threads resolved!
All threads resolved!
Merge request reports
Activity
- Resolved by Paolo G. Giarrusso
- Resolved by Paolo G. Giarrusso
- Resolved by Robbert Krebbers
added 1 commit
- dfe225f7 - relations.nsteps: add inversion lemma for `nsteps R 1 a b`
mentioned in commit 733ab29a
mentioned in issue #40 (closed)
Please register or sign in to reply