coqc

  • 1Submarine Command Course — The Submarine Command Course (SMCC), previously known as the Commanding Officers Qualifying Course (COQC), and informally known as the Perisher because of its low success rate, is a training course for naval officers preparing to take command of… …

    Wikipedia

  • 2Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …

    Википедия