{"version":"1.0","type":"link","title":"LCF - Newikis","description":"LCF es un demostrador automático de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}