//! Betti Discovery — Verified Rust transpilation
//!
//! Provenance: Lean 4 → Safe Rust
//!
//! This crate contains faithful Rust translations of the Lean 4 proofs from
//! the Betti Discovery multi-agent system for algebraic-topological invariant
//! discovery from triangulated surfaces.
//!
//! Original paper: Aggarwal, Kim, Ek, Mishra (2026) — "Discovering
//! mathematical concepts through a multi-agent system", arXiv:2603.04528

pub mod rank_nullity_premises;
pub mod sr_translation;