There was a problem fetching the pipeline mini graph.
Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq
Showing
- _CoqProject 1 addition, 0 deletions_CoqProject
- theories/lifetime/borrow.v 12 additions, 13 deletionstheories/lifetime/borrow.v
- theories/lifetime/creation.v 4 additions, 113 deletionstheories/lifetime/creation.v
- theories/lifetime/derived.v 1 addition, 1 deletiontheories/lifetime/derived.v
- theories/lifetime/faking.v 120 additions, 0 deletionstheories/lifetime/faking.v
- theories/lifetime/primitive.v 5 additions, 19 deletionstheories/lifetime/primitive.v
- theories/lifetime/raw_reborrow.v 17 additions, 20 deletionstheories/lifetime/raw_reborrow.v
- theories/typing/typing.v 1 addition, 2 deletionstheories/typing/typing.v
Loading
Please register or sign in to comment