id: 6f99949269534100ba54dcb9f6e5dcb2
parent_id: 580e7c719bdf4e09bdd9375e6a0e856d
item_type: 1
item_id: c66c0433c6a14de9b9a40e5a7316e382
item_updated_time: 1696513641913
title_diff: "[]"
body_diff: "[{\"diffs\":[[0,\"e\\\n\\t - \\\n\\\n\"],[1,\"## Hammering towards QED\\\nOverview paper.\\\n\\\nEmerging methods to automate reasoning over large libraries developed with formal proof assistants: hammers. Components:\\\n - Efficient automated theorem provers\\\n - Translations from the proof assistant's logic to the logic of the automated provers\\\n - Heuristic and learning methods of selecting relevant facts\\\n - Proof reconstruction methods\\\n\\\n\\\n\\\n\"],[0,\"## Archi\"]],\"start1\":15272,\"start2\":15272,\"length1\":16,\"length2\":402}]"
metadata_diff: {"new":{},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-10-05T13:50:00.073Z
created_time: 2023-10-05T13:50:00.073Z
type_: 13