Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
71,372 visible repositories in the index
1–6 of 6 · 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
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
A formalization of geometry in Coq based on Tarski's axiom system
The Penn Locally Nameless Metatheory Library