https://docs.theformalera.com/api-reference/introduction 2026-11-01T17:31:36.175Z https://docs.theformalera.com/api-reference/lemma-hub/deposit-lemmas 2026-11-01T17:18:23.746Z https://docs.theformalera.com/api-reference/lemma-hub/get-a-lemma 2026-11-01T17:18:23.735Z https://docs.theformalera.com/api-reference/lemma-hub/get-the-contribution-cap 2026-11-01T17:18:23.767Z https://docs.theformalera.com/api-reference/lemma-hub/prefetch-lemmas 2026-11-01T17:18:23.712Z https://docs.theformalera.com/api-reference/lemma-hub/report-lemma-usage 2026-11-01T17:18:23.756Z https://docs.theformalera.com/api-reference/lemma-hub/search-lemmas 2026-11-01T17:18:23.723Z https://docs.theformalera.com/api-reference/registry/download-a-spec-package 2026-11-01T17:18:23.635Z https://docs.theformalera.com/api-reference/registry/get-a-spec-manifest 2026-11-01T17:18:23.624Z https://docs.theformalera.com/api-reference/registry/health-check 2026-11-01T17:18:23.590Z https://docs.theformalera.com/api-reference/registry/list-advisories 2026-11-01T17:18:23.649Z https://docs.theformalera.com/api-reference/registry/list-models 2026-11-01T17:18:23.602Z https://docs.theformalera.com/api-reference/registry/list-publisher-keys 2026-11-01T17:18:23.658Z https://docs.theformalera.com/api-reference/registry/list-versions-of-a-spec 2026-11-01T17:18:23.613Z https://docs.theformalera.com/api-reference/verification/get-a-job 2026-11-01T17:18:23.690Z https://docs.theformalera.com/api-reference/verification/look-up-cached-results 2026-11-01T17:18:23.701Z https://docs.theformalera.com/api-reference/verification/submit-a-verification 2026-11-01T17:18:23.679Z https://docs.theformalera.com/api-reference/verification/who-am-i 2026-11-01T17:18:23.669Z https://docs.theformalera.com/case-studies/boundary-bug 2026-11-01T17:31:36.178Z https://docs.theformalera.com/case-studies/lemma-flywheel 2026-11-02T01:43:44.223Z https://docs.theformalera.com/case-studies/reward-hacking 2026-11-01T17:31:36.176Z https://docs.theformalera.com/case-studies/unsafe-without-gpu 2026-11-01T17:31:36.173Z https://docs.theformalera.com/concepts/how-it-works 2026-11-01T17:31:36.176Z https://docs.theformalera.com/concepts/lemma-hub 2026-11-01T23:06:56.473Z https://docs.theformalera.com/concepts/limitations 2026-11-01T23:06:56.472Z https://docs.theformalera.com/concepts/spec-keys 2026-11-01T17:31:36.173Z https://docs.theformalera.com/concepts/specs 2026-11-01T17:31:36.178Z https://docs.theformalera.com/concepts/trust-model 2026-11-01T17:31:36.174Z https://docs.theformalera.com/concepts/verdicts 2026-11-01T17:31:36.177Z https://docs.theformalera.com/conformance/overview 2026-11-01T17:31:36.177Z https://docs.theformalera.com/conformance/results 2026-11-01T17:31:34.917Z https://docs.theformalera.com/conformance/verify-an-implementation 2026-11-01T17:31:34.904Z https://docs.theformalera.com/faq 2026-11-01T17:18:26.955Z https://docs.theformalera.com/guides/annotate-cuda 2026-11-01T17:31:34.899Z https://docs.theformalera.com/guides/annotate-triton 2026-11-01T17:31:34.912Z https://docs.theformalera.com/guides/ci 2026-11-01T17:31:34.916Z https://docs.theformalera.com/guides/coding-agents 2026-11-01T17:31:34.916Z https://docs.theformalera.com/guides/fix-a-failure 2026-11-01T17:31:34.903Z https://docs.theformalera.com/guides/layouts-and-assumptions 2026-11-01T17:31:34.909Z https://docs.theformalera.com/guides/policy-and-waivers 2026-11-01T17:31:34.911Z https://docs.theformalera.com/guides/recheck-proofs 2026-11-01T17:31:34.908Z https://docs.theformalera.com/guides/release-signoff 2026-11-01T17:31:34.906Z https://docs.theformalera.com/guides/rl-environment 2026-11-01T17:31:34.903Z https://docs.theformalera.com/guides/run-modes 2026-11-01T17:31:34.917Z https://docs.theformalera.com/guides/write-a-spec 2026-11-01T17:31:34.925Z https://docs.theformalera.com 2026-11-01T17:31:34.913Z https://docs.theformalera.com/installation 2026-11-01T17:31:34.893Z https://docs.theformalera.com/models/gemma-4-12b 2026-11-01T17:31:34.905Z https://docs.theformalera.com/models/gemma-4-31b 2026-11-01T17:31:34.910Z https://docs.theformalera.com/models/granite-4-2-30b 2026-11-01T17:31:34.901Z https://docs.theformalera.com/models/granite-4-2-3b 2026-11-01T17:31:34.900Z https://docs.theformalera.com/models/granite-4-2-8b 2026-11-01T17:31:34.902Z https://docs.theformalera.com/models 2026-11-01T17:31:34.906Z https://docs.theformalera.com/models/muse-glimmer-30b 2026-11-01T17:31:34.925Z https://docs.theformalera.com/models/op-specs 2026-11-01T17:31:34.926Z https://docs.theformalera.com/models/qwen3-0-6b 2026-11-01T17:31:34.907Z https://docs.theformalera.com/models/qwen3-8-27b 2026-11-01T17:31:34.914Z https://docs.theformalera.com/quickstart 2026-11-01T17:31:34.899Z https://docs.theformalera.com/reference/annotations 2026-11-01T17:31:34.915Z https://docs.theformalera.com/reference/certificate 2026-11-01T17:31:34.897Z https://docs.theformalera.com/reference/cli/conformance 2026-11-01T17:31:34.894Z https://docs.theformalera.com/reference/cli/hub 2026-11-01T17:31:34.898Z https://docs.theformalera.com/reference/cli/lemmas 2026-11-01T17:31:34.895Z https://docs.theformalera.com/reference/cli/overview 2026-11-01T17:31:34.911Z https://docs.theformalera.com/reference/cli/project 2026-11-01T17:31:34.913Z https://docs.theformalera.com/reference/cli/release 2026-11-01T17:31:34.892Z https://docs.theformalera.com/reference/cli/specs 2026-11-01T17:31:34.894Z https://docs.theformalera.com/reference/cli/verification 2026-11-01T17:31:34.909Z https://docs.theformalera.com/reference/configuration 2026-11-01T17:31:34.896Z https://docs.theformalera.com/reference/environment-variables 2026-11-01T17:18:26.940Z https://docs.theformalera.com/reference/python-api 2026-11-01T17:31:34.908Z https://docs.theformalera.com/reference/reports 2026-11-01T17:31:34.896Z https://docs.theformalera.com/reference/spec-packages 2026-11-01T17:31:34.898Z https://docs.theformalera.com/self-hosting/aws 2026-11-01T21:14:29.877Z https://docs.theformalera.com/self-hosting/lemma-administration 2026-11-02T03:57:36.692Z https://docs.theformalera.com/self-hosting/local-hub 2026-11-01T17:31:34.918Z https://docs.theformalera.com/self-hosting/overview 2026-11-01T17:31:34.891Z https://docs.theformalera.com/self-hosting/publish-specs 2026-11-01T17:31:34.892Z https://docs.theformalera.com/troubleshooting 2026-11-01T17:18:26.938Z https://docs.theformalera.com/tutorial 2026-11-01T17:31:34.901Z