Owlgebra - Start Proving

Find your lean proof

Lean Code

import Mathlib

theorem example_theorem (n : ℕ) (oh0 : 0 < n) 
 : Nat.gcd (21*n + 4) (14*n + 3) = 1 := by

Our Vision

Owlgebra envisions to empower everyone with the latest math-AI innovation. Send us your theorem and we will prove it for you using Lean4 theorem prover.