Lean & Akai

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.

Similar Artists

Grupo Extra

Daniel Santacruz

Prince Royce

Johandy

Voz A Voz

Pinto Picasso

Alegrìa Amaya

Los Sufridos

Romeo Santos

Rodrigo Ace

Manny Rod

Vinny Rivera

Mr. Don

Dama

Jalil Lopez

Dj Ramon

Mario Baro

Toby Love

Alejandra Feliz

Dj Khalid