Skip to content
GitLab
Explore
Sign in
FP
ghostcell
Repository
ghostcell
theories
typing
type.v
Find file
Blame
History
Permalink
experiment with some lemmas to help reduce boilerplate in unsafe code proofs
· a6cef604
Ralf Jung
authored
Mar 15, 2017
a6cef604