docs: sweep remaining verified .md to .adoc drift

37d64e3

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

GitGuardian

GitGuardian Security Checks

codefactor.io

CodeFactor

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

.github/workflows/s4-loop.yml on: push 1

.github/workflows/server-boot-gate.yml on: push 1

.github/workflows/formal-verification.yml on: push 1

.github/workflows/live-provers.yml on: push 1

.github/workflows/rust-ci.yml on: pull_request 1

.github/workflows/cargo-audit.yml on: push 1

Hypatia Security Scan on: pull_request 1

.github/workflows/mvp-smoke.yml on: push 1

Idris2 ABI Type-Check on: pull_request 1

.github/workflows/chapel-ci.yml on: push 1

Container Build Verification on: pull_request 1

.github/workflows/rust-native-reusable.yml on: push 1

Agda Meta-Checker on: pull_request 1

Workflow Security Linter on: push 1

CodeQL Security Analysis on: pull_request 1

Proof Safety on: pull_request 1

Secret Scanner on: pull_request 1

Dogfood Gate on: pull_request 1

Dogfood Proof Corpus on: pull_request 1

bridge-gate on: pull_request 1

ClusterFuzzLite PR fuzzing on: pull_request 1

Workflow Security Linter on: pull_request 1

Governance on: pull_request 1

SPARK Theatre Gate on: pull_request 1