Lean
Lean es un ciudad en Indonesia con una población de unos 0 habitantes.
IndonesiaPueblo🕐 Asia/MakassarLean es un asistente de pruebas y un lenguaje de programación. Se basa en el cálculo de construcciones con tipos inductivos. Es un proyecto de código abierto alojado en GitHub. Fue realizado por Microsoft Research.
🌦️ Tiempo en vivo y hora local
Cargando condiciones…
Acerca de Lean
| País | Indonesia |
| Continente | Asia |
| Explorar | 38 |
| Población | 0 |
| Moneda local | IDR |
| Coordenadas | -3.1355, 119.8394 |
| Zona horaria | Asia/Makassar |
🧭 Datos y curiosidades
| Tipo de localidad | Pueblo |
| Distancia a la capital | 1480 km · Jakarta |
| Población (Indonesia) | n.º529 más poblada de Indonesia |
| Dónde se encuentra | 3°8′8″S · 119°50′22″E |
| Hemisferio | S · E |
| Distancia al ecuador | 349 km |
| Distancia al Polo Sur | 9670 km |
| Misma latitud que | Manaus (Brazil) |
| Antípoda (lado opuesto de la Tierra) | 3.14, -60.16 |
✈️ Distancia a grandes ciudades
| Singapore | 1849 km |
| Sydney | 4716 km |
| Tokyo | 4783 km |
| Beijing | 4799 km |
| Dubai | 7629 km |
| Moscow | 9811 km |