The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.
theorem-proving proof-assistant alignment formal-methods formalization formal-verification ai-safety interactive-theorem-proving social-choice mathlib ai-alignment computability lean4 agent-foundations provable-safety
-
Updated
Jul 28, 2026 - Lean