move everything to another branch

.gitignore

.gitlab-ci.yml

LICENSE

Makefile

Missing.md

README.md

_CoqProject

opam

theories/lang/arc.v

theories/lang/arc_cmra.v

theories/lang/lock.v

theories/lang/memcpy.v

theories/lang/new_delete.v

theories/lang/notation.v

theories/lang/spawn.v

theories/lang/swap.v

theories/lifetime/at_borrow.v

theories/lifetime/frac_borrow.v

theories/lifetime/lifetime.v

theories/lifetime/lifetime_sig.v