id: b34571f6d9124007a7a4d532231ce460
parent_id: 974e48f7ebbe42019ab84a742ae77788
item_type: 1
item_id: 0c1110075cc64103ba1c83df0bbe57a9
item_updated_time: 1683154493734
title_diff: "[]"
body_diff: "[{\"diffs\":[[-1,\"31/03 12:40: start literature study! reading: `do` unchained and hammering towards qed\"],[1,\"Time spent:\\\n\\\n- Translating Higher-Order Clauses/Problems to First-Order Clauses: 2hr?\\\n- H2QED: 4hr\\\n- H4Coq: 3hr\\\n- Shallow Embedding...: 2hr\\\n- Encoding monotonic blabla: 3hr+\\\n- Other stuff (looking for papers, analyzing, ...): 5hr?\"]],\"start1\":0,\"start2\":0,\"length1\":86,\"length2\":230}]"
metadata_diff: {"new":{"order":1680259207800},"deleted":[]}
encryption_cipher_text: 
encryption_applied: 0
updated_time: 2023-05-03T23:01:41.920Z
created_time: 2023-05-03T23:01:41.920Z
type_: 13