GitHub - CharlesAverill/rtpe: Rocq Tactics in Plain English

Name		Name	Last commit message	Last commit date
Latest commit History 71 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
index.html		index.html
push.sh		push.sh
test.sh		test.sh