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: * [[wp:Coq\|Coq]] [[Category:~~Mathematics~~Mathematical programming languages]]

Category:Coq: Difference between revisions

Category:Coq (view source)