moutend/coqtop

Created March 21, 2014 11:48

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/moutend/9684507.js"></script>
Save moutend/9684507 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

coqtop

	mba: mba% coqtop
	Welcome to Coq 8.3pl5 (March 2014)

	Coq <

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment