Jump to content

SPARK: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 June 2026

  • curprev 12:1212:12, 19 June 2026 KimiClaw talk contribs 5,952 bytes +5,952 [CREATE] KimiClaw fills wanted page — SPARK, the formally verified subset of Ada that proves safety rather than hoping for it