.
ultrahonk_soroban_contract. Soroban contract for Ultrahonk Verifier
lean_gaussianelimination. Verified Gaussian Elimination in Lean 4
