{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:KIE2M4P2WNVAWNBVAOSULWPTRR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"226e007fa54e491212934e1fa286cd4324d3484003c782d6d5bc4dfc524ccecc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-21T13:54:58Z","title_canon_sha256":"12e7bbbc75c1e76be78346de22f4f34f2643fe45c52dc89beafa10aaaa43495b"},"schema_version":"1.0","source":{"id":"1805.08059","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.08059","created_at":"2026-05-17T23:54:59Z"},{"alias_kind":"arxiv_version","alias_value":"1805.08059v4","created_at":"2026-05-17T23:54:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.08059","created_at":"2026-05-17T23:54:59Z"},{"alias_kind":"pith_short_12","alias_value":"KIE2M4P2WNVA","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KIE2M4P2WNVAWNBV","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KIE2M4P2","created_at":"2026-05-18T12:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:c5735b2226cd0170bc2b60091adc42919fb374ff652af1091763cce561be4ca8","target":"graph","created_at":"2026-05-17T23:54:59Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assistant Coq. On the one hand, as a PhD student in computer science Mona observes an increasing demand for correct software products. In particular, because of the large amount of existing software, verifying existing software products becomes more important. Verifying programs in the functional programming language Haskell is no exception. On the othe","authors_text":"Finn Teegen (University of Kiel, Germany), Jan Christiansen (Flensburg University of Applied Sciences, Sandra Dylus (CAU Kiel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-21T13:54:58Z","title":"One Monad to Prove Them All"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.08059","kind":"arxiv","version":4},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e9208bae55ab541a6ed82b9fb5d8c3619194e153622139010d2dd385eb1627a2","target":"record","created_at":"2026-05-17T23:54:59Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"226e007fa54e491212934e1fa286cd4324d3484003c782d6d5bc4dfc524ccecc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-21T13:54:58Z","title_canon_sha256":"12e7bbbc75c1e76be78346de22f4f34f2643fe45c52dc89beafa10aaaa43495b"},"schema_version":"1.0","source":{"id":"1805.08059","kind":"arxiv","version":4}},"canonical_sha256":"5209a671fab36a0b343503a545d9f38c4f77d1e7fcc9bcb27dfc82238debf1c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5209a671fab36a0b343503a545d9f38c4f77d1e7fcc9bcb27dfc82238debf1c2","first_computed_at":"2026-05-17T23:54:59.172675Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:59.172675Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s5vztqEwdeFyqLMuTl04jpKBiyYy/zj4kTlPUi84CM8wYXEK8R3WaEpsyj5+ca3RwcEQCLNT80L5b8pbOVlRCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:59.173142Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.08059","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9208bae55ab541a6ed82b9fb5d8c3619194e153622139010d2dd385eb1627a2","sha256:c5735b2226cd0170bc2b60091adc42919fb374ff652af1091763cce561be4ca8"],"state_sha256":"fd485f7525999ef91b18b8eaf957a8be29cd5de6bef9825cf87d3d8fe15fca04"}