{"version":"1.0","type":"link","title":"IsaPlanner - Newikis","description":"IsaPlanner is a proof planner for the interactive proof assistant, Isabelle, originally developed by Lucas Dixon.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}