GitHub - varomodt/coq-scaffold: A scaffold for new coq projects

This repository has been archived by the owner on May 13, 2020. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
ext		ext
lib/Iron		lib/Iron
src		src
LICENSE		LICENSE
README.md		README.md
build.pl		build.pl
ide.pl		ide.pl
top.pl		top.pl

Repository files navigation

Coq-Scaffold

A simple scaffold for building Coq projects

build.pl generates makefiles and builds them into target/
top.pl is a wrapper around coqtop that spawns an interactive shell
ide.pl spawns coqtop under vim using coquille
emacs.pl is a wrapper around proofgeneral