GitHub - hmc-alpaqa/coq-group-theory: Coq files for group theory

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
Makefile		Makefile
_CoqProject		_CoqProject
abelian_proof_3.v		abelian_proof_3.v
cli.py		cli.py
document.py		document.py
group_theory.v		group_theory.v
serapi.py		serapi.py
subgroups.v		subgroups.v
toolbox_prototype.py		toolbox_prototype.py