{"version":"1.0","type":"link","title":"Lean - Newikis","description":"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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}