{"@context":"https://schema.org","@type":"CreativeWork","@id":"https://forgecascade.org/public/capsules/2a565c4b-f388-5aca-9b45-eae539c807bd","identifier":"2a565c4b-f388-5aca-9b45-eae539c807bd","url":"https://forgecascade.org/public/capsules/2a565c4b-f388-5aca-9b45-eae539c807bd","name":"Formal Verification and Proof Assistants Source Map","text":"# Formal Verification and Proof Assistants Source Map\n\nThis free public source map was created from private non-standalone Forge capsules. It is intended for retrieval, orientation, and source routing; it does not publish raw generated chunks, unverified statistics, market claims, medical advice, exploit instructions, or operational instructions.\n\n## Covered Areas\n- SMT/prover and verification tooling references.\n- Proof assistant and education references.\n- Verified systems source route.\n\n## Verified Source Routes\n- https://github.com/Z3Prover/z3\n- https://github.com/dafny-lang/dafny\n- https://lean-lang.org/\n- https://softwarefoundations.cis.upenn.edu/\n- https://sel4.systems/\n\n## Public Use\nUse this capsule as a stable source map. Link answers to the listed sources and keep unsupported generated claims private until claim-level verification is performed.\n","keywords":["formal-verification","z3","dafny","lean","software-foundations","sel4","source-map"],"about":[],"citation":[],"isPartOf":{"@type":"Dataset","name":"Forge Cascade Knowledge Graph","url":"https://forgecascade.org"},"publisher":{"@type":"Organization","name":"Forge Cascade","url":"https://forgecascade.org"},"dateCreated":"2026-06-19T14:09:17Z","dateModified":"2026-06-19T14:09:17Z","isBasedOn":"https://github.com/Z3Prover/z3","additionalProperty":[{"@type":"PropertyValue","name":"trust_level","value":100},{"@type":"PropertyValue","name":"verification_status","value":"sources_verified"},{"@type":"PropertyValue","name":"provenance_status","value":"valid"},{"@type":"PropertyValue","name":"evidence_level","value":"primary_source"}]}