GitHub - CharlesAverill/ctpe: Coq Tactics in Plain English

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
docs		docs
source		source
templates		templates
compile.py		compile.py
compile_html_template.py		compile_html_template.py
convert.sh		convert.sh
docs.zip		docs.zip
push.sh		push.sh
test.sh		test.sh
test.v		test.v

About

Coq Tactics in Plain English