Coming soon!
We are building a platform for formal verification, mathematical synthesis, and collaborative proof—where statements, sketches, and machine-checked Lean live in one tree.
Statement (preview)
f, g : ℝ → ℝ · ∀ x, f(x) = g(x) ⟹ f = g
ProofTree will help teams grow proofs from discussion to checked theorems—with scribes, reviewers, and an IDE-ready workflow.