{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ZV7ABHAZOBHN3LCRRDIIGNSFOQ","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":"5518b76cc0b05b8ae96d55b06dc67230c6b37b07bc944bfbaf767609fbc06faa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-06-22T13:57:35Z","title_canon_sha256":"fde95018f4e9fb249c338d2c62acf56bb22101a92f736f822b7db69ab3f528e3"},"schema_version":"1.0","source":{"id":"1507.05037","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05037","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05037v1","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05037","created_at":"2026-05-18T01:36:42Z"},{"alias_kind":"pith_short_12","alias_value":"ZV7ABHAZOBHN","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZV7ABHAZOBHN3LCR","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZV7ABHAZ","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:c92a1b37d87f7b2222fd212df6b2d839b17a490601ea4fedaf1e6493752d5705","target":"graph","created_at":"2026-05-18T01:36:42Z","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":"Proof Designer is a computer software program designed to help Mathematics students learn to write mathematical proofs. Under the guidance of the user, Proof Designer assists in writing outlines of proofs in elementary set theory. Proof Designer was designed by Daniel Velleman in association with his book \"How To Prove It: A Structured Approach\" to help students apply the methods discussed in the book, making classes based on the book more interactive.\n  This article is an early report on the progress of our effort to \"bring set theory to the masses\" by developing Proof Maker, a new Proof Desi","authors_text":"Moez A. AbdelGawad","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-06-22T13:57:35Z","title":"Set Theory for The (Smart) Masses"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05037","kind":"arxiv","version":1},"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:c84ea8a1b85d71b7842f2950da2ee49f949b8f36fd401e20931255553f308b0c","target":"record","created_at":"2026-05-18T01:36:42Z","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":"5518b76cc0b05b8ae96d55b06dc67230c6b37b07bc944bfbaf767609fbc06faa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-06-22T13:57:35Z","title_canon_sha256":"fde95018f4e9fb249c338d2c62acf56bb22101a92f736f822b7db69ab3f528e3"},"schema_version":"1.0","source":{"id":"1507.05037","kind":"arxiv","version":1}},"canonical_sha256":"cd7e009c19704eddac5188d0833645740b9a86e65d2f12dc3ff52db80dbc1819","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd7e009c19704eddac5188d0833645740b9a86e65d2f12dc3ff52db80dbc1819","first_computed_at":"2026-05-18T01:36:42.070408Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:42.070408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8RGMgGnrHktChUWnSGsMrbpw2GdE+5aKzvOL5KQsXu9Jxwy3iMewzV6trbcazSkj7qK9i2R419d3VdIi4cRgCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:42.071004Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.05037","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c84ea8a1b85d71b7842f2950da2ee49f949b8f36fd401e20931255553f308b0c","sha256:c92a1b37d87f7b2222fd212df6b2d839b17a490601ea4fedaf1e6493752d5705"],"state_sha256":"71b44cd0de776fe0e511ea0bcf11e2854132ba4a4c00c645cde0d83790c6c4ad"}