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

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

About

Some Coq regression tests for SerAPI

Custom properties

0 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages