Dafny is a verification-aware programming language
- programming-language
- verification
Repository Index
64,764 visible repositories in the index
1–2 of 2 · Most stars
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math