https://veritylang.com 2026-05-20T06:05:10.040Z weekly 1 https://veritylang.com/architecture 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/trust-model 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/getting-started 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/first-contract 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/guides/add-contract 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/guides/solidity-to-verity 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/guides/production-solidity-patterns 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/guides/linking-libraries 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/guides/debugging-proofs 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/examples 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/core 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/edsl-api-reference 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/compiler 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/verification 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/glossary 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/proof-techniques 2026-05-20T06:05:10.040Z monthly 0.7 https://veritylang.com/faq 2026-05-20T06:05:10.040Z monthly 0.7