{"version":"1.0","type":"link","title":"MINLOG - Newikis","description":"MINLOG is a proof assistant developed at LMU Munich by the team of Helmut Schwichtenberg.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}