The Zeon Algebra in Lean