theories/typing · e9bafb5a84e41ab71f6caa4d1d6c69e026fa7e57 · Simon Spies / lambda-rust · GitLab

Snippets Groups Projects

Forked from Iris / lambda-rust

88 commits behind the upstream repository.

explain why we prove Cell: Copy

Ralf Jung authored 3 years ago

876c6af5

876c6af5 3 years ago

Name	Last commit	Last update
..
examples
lib
base.v
bool.v
borrow.v
cont.v
cont_context.v
fixpoint.v
function.v
int.v
lft_contexts.v
own.v
product.v
product_split.v
programs.v
shr_bor.v
soundness.v
sum.v
type.v
type_context.v
type_sum.v
typing.v
uninit.v
uniq_bor.v
util.v