Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coq

Conflicts:
	_CoqProject
	theories/typing/tests/get_x.v
	theories/typing/tests/unbox.v

No related branches found

No related tags found

No related merge requests found

Pipeline #