GitHub - proofengineering/serapi-tests: Some Coq regression tests for SerAPI

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
Makefile		Makefile
Makefile.coq.local		Makefile.coq.local
_CoqProject		_CoqProject
auto.v		auto.v
clear.v		clear.v
eauto.v		eauto.v
elim.v		elim.v
evar.v		evar.v
exact.v		exact.v
exists.v		exists.v
firstorder.v		firstorder.v
intros.v		intros.v
replace.v		replace.v
revert.v		revert.v
specialize.v		specialize.v
subst.v		subst.v
symmetry.v		symmetry.v