Lean

Demostrador de teoremas

Lean 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.

Último precio

—

Precio mínimo

—

Mediana 7 d

—

Ventas 30 d

Rango 30 d

—

En circulación

Cotización

Ver tabla

Fecha	mediana	Mín	Máx	ventas

Historial de ventas

Última venta: —
Media 30 d: —
Mínimo 30 d: —
Máximo 30 d: —
Ventas 7 d: 0
Ventas 30 d: 0

Aún no hay ventas.

Ventas anónimas: sin comprador ni vendedor. Las cifras solo cuentan ventas entre jugadores.

№ Ediciones numeradas · 0 acuñadas Próximo n.º 1 · Puntos ×3

En Wikipedia

Lean 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.

Texto: Wikipédia, CC BY-SA 4.0. ·