Re: First Proof #2 Post by elliancarlos » Sat, Feb 14, 2026, 6:13 PM UTC I was expecting a use of the lean programming language, but nonetheless this work is very interesting.