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