Skip to content
Snippets Groups Projects
Jacques-Henri Jourdan's avatar
Jacques-Henri Jourdan authored
Conflicts:
	_CoqProject
	theories/typing/tests/get_x.v
	theories/typing/tests/unbox.v
4e19edb8
History
Name Last commit Last update