Coq
Coq es un ciudad en Democratic Republic of the Congo con una población de unos 0 habitantes.
Democratic Republic of the CongoPueblo🏆 n.º119 más poblada de Democratic Republic of the Congo🕐 Africa/KinshasaRocq es un sistema de ayuda para la demostración de teoremas que maneja aserciones matemáticas, verifica mecánicamente las pruebas de aserciones, ayuda a encontrar pruebas para esas aserciones y extrae programas certificados (correctos) a partir de las pruebas constructivas de aserciones que representan su especificación formal. Rocq trabaja basándose en la teoría del Cálculo de Construcciones Inductivas, que es una teoría derivada del Cálculo de Construcciones.
🌦️ Tiempo en vivo y hora local
Cargando condiciones…
Acerca de Coq
| País | Democratic Republic of the Congo |
| Continente | África |
| Explorar | 28 |
| Población | 0 |
| Moneda local | CDF |
| Coordenadas | 3.1864, 19.0190 |
| Zona horaria | Africa/Kinshasa |
🧭 Datos y curiosidades
| Tipo de localidad | Pueblo |
| Distancia a la capital | 931 km · Kinshasa |
| Población (Democratic Republic of the Congo) | n.º119 más poblada de Democratic Republic of the Congo |
| Dónde se encuentra | 3°11′11″N · 19°1′8″E |
| Hemisferio | N · E |
| Distancia al ecuador | 355 km |
| Distancia al Polo Norte | 9664 km |
| Misma latitud que | Taman Petaling (Malaysia) |
| Antípoda (lado opuesto de la Tierra) | -3.19, -160.98 |
✈️ Distancia a grandes ciudades
| Cairo | 3252 km |
| Dubai | 4583 km |
| Paris | 5320 km |
| London | 5661 km |
| Moscow | 6078 km |
| São Paulo | 7695 km |