yoshihiro503 / coq2scala / Downloads — Bitbucket

For large uploads, we recommend using the API. Get instructions

Tag	Commit	Date	Download
coq-8.4_original	fe48081	Aug. 31, 2012, 5 a.m.	zip gz bz2
version_1.0	0cc3342	Dec. 5, 2011, 1:14 a.m.	zip gz bz2
coq-8.3pl2_original	ba21d96	Oct. 21, 2011, 9:15 a.m.	zip gz bz2