https://veritylang.com 2026-06-18T12:29:03.386Z weekly 1 https://veritylang.com/architecture 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/trust-model 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/getting-started 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/first-contract 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/guides/add-contract 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/guides/solidity-to-verity 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/guides/production-solidity-patterns 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/guides/linking-libraries 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/guides/debugging-proofs 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/examples 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/core 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/edsl 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/edsl/storage 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/edsl/computation 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/edsl/control-flow 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/edsl/functions 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/edsl/external-calls 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/compiler 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/intrinsics 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/capabilities 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/diagnostics 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/verification 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/glossary 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/proof-techniques 2026-06-18T12:29:03.386Z monthly 0.7 https://veritylang.com/faq 2026-06-18T12:29:03.386Z monthly 0.7