{"version":"1.0","type":"link","title":"Proof assistant - Newikis","description":"In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/commons/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png","thumbnail_width":1016,"thumbnail_height":735}