Category:Coq: Difference between revisions

Content added Content deleted

Inline

Revision as of 16:10, 16 May 2011 (view source) rosettacode>CRGreathouse m (Category:Mathematics) ← Older edit		Revision as of 18:35, 1 August 2011 (view source) rosettacode>CRGreathouse m (narrow cat) Newer edit →
Line 4:		Line 4:
	* [[wp:Coq\|Coq]]		* [[wp:Coq\|Coq]]

	[[Category:~~Mathematics~~]]		[[Category:Mathematical programming languages]]